From e6b9b946c4d4b2686a4c8b909a832b9427c6997f Mon Sep 17 00:00:00 2001
From: Robert Kaiser <kairo@kairo.at>
Date: Mon, 28 Jan 2013 01:47:57 +0100
Subject: [PATCH] turn off sounds when we time out or such

---
 js/tricorder.js   | 1 +
 manifest.appcache | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/tricorder.js b/js/tricorder.js
index 0f0ffcf..3bf19c6 100644
--- 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 1106d55..da56acf 100644
--- 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
-- 
2.43.0