diff options
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) |