turn off sounds when we time out or such

diff --git a/js/tricorder.js b/js/tricorder.js
index 0f0ffcf1bc6c9d4bced7cb84fa71c4b6b8fb99ea..3bf19c6357e10ee28a4f1dd4787cb8f32ea0dad5 100644 (file)
--- a/js/tricorder.js
+++ b/js/tricorder.js
@@ -125,6 +125,7 @@ var gModPos = {
             document.getElementById("posunavail").style.display = "block";
             document.getElementById("posavail").style.display = "none";
           }
+          gSounds.scan.pause();
         },
         {enableHighAccuracy: true, maximumAge: 10000, timeout: 60000}
       );

diff --git a/manifest.appcache b/manifest.appcache
index 1106d558cab08bce753da0ea1fa1a68391df1c6f..da56acf51f200a7a44bf1d9befd3680851d1cbb7 100644 (file)
--- a/manifest.appcache
+++ b/manifest.appcache
@@ -1,6 +1,6 @@
 CACHE MANIFEST
 
-# 2013-01-28
+# 2013-01-28.
 manifest.webapp
 js/tricorder.js
 style/tricorder.css