[sagenb] 52/179: Increase the startup alarm timer

[felix salfelder]

This is an automated email from the git hooks/post-receive script.

felix-guest pushed a commit to branch master
in repository sagenb.

commit deaaf3c6c39a037130ee6f2f741f06c9233ebb0b
Author: Jean-Pierre Flori <jpflori at gmail.com>
Date:   Mon Feb 25 06:21:32 2013 -0800

    Increase the startup alarm timer
    
    Cygwin is slow enough that alarm(1) usually times out
---
 sagenb/misc/misc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sagenb/misc/misc.py b/sagenb/misc/misc.py
index d55efdd..b5ce221 100644
--- a/sagenb/misc/misc.py
+++ b/sagenb/misc/misc.py
@@ -113,7 +113,7 @@ def find_next_available_port(interface, start, max_tries=100, verbose=False):
     alarm_count = 0  
     for port in range(start, start+max_tries+1):
         try:
-            alarm(1)
+            alarm(5)
             s = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
             s.connect((interface, port))
         except socket.error, msg:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/sagenb.git