]> git.decadent.org.uk Git - dak.git/commitdiff
Merge remote branch 'twerner/web2' into merge
authorJoerg Jaspert <joerg@debian.org>
Tue, 24 Nov 2009 23:04:29 +0000 (00:04 +0100)
committerJoerg Jaspert <joerg@debian.org>
Tue, 24 Nov 2009 23:04:29 +0000 (00:04 +0100)
* twerner/web2:
  web: add link to cruft-report-daily.txt

Signed-off-by: Joerg Jaspert <joerg@debian.org>
daklib/utils.py

index 3cc4053861896fa5023780d5b484bab61d6eab40..cfbf8aa00199f22a3f333e1410c7847d18c145d8 100644 (file)
@@ -115,7 +115,12 @@ def open_file(filename, mode='r'):
 
 def our_raw_input(prompt=""):
     if prompt:
-        sys.stdout.write(prompt)
+        while 1:
+            try:
+                sys.stdout.write(prompt)
+                break
+            except IOError:
+                pass
     sys.stdout.flush()
     try:
         ret = raw_input()