aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHans-Christoph Steiner <eighthave@users.sourceforge.net>2009-06-18 22:12:44 +0000
committerHans-Christoph Steiner <eighthave@users.sourceforge.net>2009-06-18 22:12:44 +0000
commit0413e9172f53a3b0a48d996e7484395858041d34 (patch)
tree9890dbfb535e05ebf73f7d16aafce5c29e4cf972
parentdb2ddfe0b9f2bdefa2a67a54164c826d525a51bc (diff)
set socket and run timeouts to 5 seconds and set lots of debug messages to see where its stopping
svn path=/trunk/; revision=11799
-rwxr-xr-xscripts/load_every_help.py22
1 files changed, 15 insertions, 7 deletions
diff --git a/scripts/load_every_help.py b/scripts/load_every_help.py
index 6a4a0392..415b7f14 100755
--- a/scripts/load_every_help.py
+++ b/scripts/load_every_help.py
@@ -39,12 +39,18 @@ def make_netreceive_patch(filename):
def send_to_socket(message):
s = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
- s.connect(('localhost', PORT))
- s.send(message)
- s.close()
+ s.settimeout(5)
+ try:
+ s.connect(('localhost', PORT))
+ s.send(message)
+ s.close()
+ except socket.timeout:
+ print "socket timed out while sending"
def send_to_pd(message):
+ print 'Sending to pd: ' + message
send_to_socket('; pd ' + message + ';\n')
+ print 'finished sending'
def open_patch(filename):
dir, file = os.path.split(filename)
@@ -69,14 +75,15 @@ def quit_pd(process):
send_to_pd('quit')
time.sleep(1)
try:
+ print 'Trying to kill pd'
os.kill(process.pid, signal.SIGTERM)
except OSError:
- pass
+ print 'OSError on SIGTERM'
time.sleep(1)
try:
os.kill(process.pid, signal.SIGKILL)
except OSError:
- pass
+ print "OSError on SIGKILL"
#---------- list of lines to ignore ----------#
@@ -127,15 +134,16 @@ for root, dirs, files in os.walk(docdir):
for name in files:
m = re.search(".*\.pd$", name)
if m:
- print 'checking ' + name
+ print 'checking ' + root + '/' + name
patchoutput = []
patch = os.path.join(root, m.string)
p = launch_pd()
try:
open_patch(patch)
- time.sleep(1)
+ time.sleep(5)
close_patch(patch)
quit_pd(p)
+ print 'Finished ' + root + '/' + name + '\n\n'
except socket.error:
patchoutput.append('socket.error')
while True: