Allow picking location on a map (#3244)

* Allow picking location on a map

* Add some better defaults

* Close connection before navigation
This commit is contained in:
Paulus Schoutsen
2019-06-04 08:47:02 -07:00
committed by GitHub
parent 4ccf450ad4
commit 2d056bad81
6 changed files with 195 additions and 91 deletions

View File

@@ -15,6 +15,10 @@ gulp.task("gen-service-worker-dev", (done) => {
writeSW(
`
console.debug('Service worker disabled in development');
self.addEventListener('install', (event) => {
self.skipWaiting();
});
`
);
done();