Gradint update

git-svn-id: http://svn.code.sf.net/p/e-guidedog/code/ssb22/gradint@1254 29193198-4895-4776-b068-10539e920549

gradint-build/src/recording.py

@@ -35,8 +35,12 @@ class MicInput(InputSource):
         try: self.sound = tkSnack.Sound(file=outFile, rate=self.rate, channels=1, encoding="Lin16")
         except: return self.err("Cannot write to sound file '"+outFile+"' with tkSnack")
         try: self.sound.record()
-        except:
-            self.err("sound.record() failed") # e.g. waveInOpen failed on Windows 7 (driver problems?)
+        except: # e.g. waveInOpen failed on Windows 7 (driver problems?)
+            self.err("sound.record() failed")
+            try: self.sound.stop()
+            except: pass
+            try: os.remove(outFile)
+            except: pass
             del self.sound
     def err(self,msg): app.todo.alert=msg
     def stopRec(self):