| 0,0 → 1,29 |
|---|
| #! /bin/sh /usr/share/dpatch/dpatch-run |
| ## 20_serverlist_timeout.dpatch by Ron Bentley <rtbentley@gmail.com> |
| ## |
| ## DP: Lower connection timeout when building server list to avoid |
| ## DP: hanging for a long time when one or more servers are unresponsive. |
| |
| @DPATCH@ |
| |
| --- pyscrabble-1.6.2~/pyscrabble/gui/register.py 2008-04-20 23:14:07.000000000 -0400 |
| +++ pyscrabble-1.6.2/pyscrabble/gui/register.py 2008-04-20 23:18:25.000000000 -0400 |
| @@ -62,6 +62,9 @@ |
| return |
| |
| self.serverList.clear() |
| + |
| + defTimeout = socket.getdefaulttimeout() |
| + socket.setdefaulttimeout(6) |
| |
| for host,g_port,w_port,location in self.servers: |
| |
| @@ -73,6 +76,8 @@ |
| numUsers="N/A" |
| |
| self.serverList.append( (host,location, numUsers) ) |
| + |
| + socket.setdefaulttimeout(defTimeout) |
| |
| self.toolBar.set_sensitive(True) |
| |