diff options
| author | Chris Ball <cjb@laptop.org> | 2008-05-23 14:33:08 (GMT) |
|---|---|---|
| committer | Chris Ball <cjb@laptop.org> | 2008-05-23 14:33:08 (GMT) |
| commit | 4efc20175e8f2146e4fd7ddaa8238c8aa2e36c42 (patch) | |
| tree | cd650ee93dbf8253334b6e3dd766f313606c4b51 /activity.py | |
| parent | a6b719071ed74e68b57b85f64a00013615f59e5b (diff) | |
Bump startup delay up to 8 seconds. We really need something better.
Diffstat (limited to 'activity.py')
| -rw-r--r-- | activity.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/activity.py b/activity.py index 72f594d..d4f875b 100644 --- a/activity.py +++ b/activity.py @@ -45,7 +45,7 @@ class WikipediaActivity(webactivity.WebActivity): self.server_pid = os.spawnlp(os.P_NOWAIT, 'python', 'python', 'py/server.py', WIKIDB, HTTP_PORT) # FIXME: Give ourselves five seconds to start the server. - time.sleep(5) + time.sleep(8) atexit.register(self.kill_server) |