# HG changeset patch
# User Bryan O'Sullivan <bos@serpentine.com>
# Date 1176759591 25200
# Node ID 06ab90119fa6bd05374a94977c45a6fb158a04d2
# Parent  f078515438d29f2e93684bbe4ac03c88f34281c1
Be more conservative in timeouts.
Needed on my new, slower (!?) laptop.

diff -r f078515438d2 -r 06ab90119fa6 en/examples/run-example
--- a/en/examples/run-example	Mon Apr 16 14:39:20 2007 -0700
+++ b/en/examples/run-example	Mon Apr 16 14:39:51 2007 -0700
@@ -59,7 +59,7 @@
     ps2 = '__run_example_ps2__ '
     pi_re = re.compile(r'#\$\s*(name|ignore):\s*(.*)$')
     
-    timeout = 5
+    timeout = 10
 
     def __init__(self, name, verbose):
         self.name = name