Gradint update

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

gradint-build/src/play.py

@@ -189,15 +189,15 @@ def system(cmd):
     try: r=os.popen(cmd)
     except: return os.system(cmd) # too many file descriptors open or something
     r.read() ; return r.close()
-try: import signal
-except: signal = 0
-if signal:
+if unix:
     # Unix: make sure "kill" on gradint's pid includes the players:
     os.setpgrp()
+    import signal
     def siggrp(sigNo,*args):
         os.killpg(os.getpgrp(),sigNo)
         os.abort() # in case still here
     signal.signal(signal.SIGTERM,siggrp)
+else: signal=0
 
 # Event(len) gives a pause of that length
 # SampleEvent extends this to actually play something:

gradint-build/thindown.py

@@ -33,7 +33,6 @@ if "s60" in sys.argv: # S60 version
 "def decode_mp3(file):",
 "class Mp3FileCache(object):",
 "if outputFile:",
-"if signal:",
 "class InputSourceManager(object):",
 "def wavToMp3(directory):",
 "def makeMp3Zips(baseDir,outDir,zipNo=0,direc=None):",