diff options
| author | Florian Diebold <flodiebold@gmail.com> | 2012-03-23 18:09:05 +0100 |
|---|---|---|
| committer | Florian Diebold <flodiebold@gmail.com> | 2012-03-23 18:22:35 +0100 |
| commit | 6493dee8cd45c22fda452fb5f0f3a5f9531602e1 (patch) | |
| tree | ef193df7177cdb5aa0f7c4115269766311091a76 /crawl-ref/source/webserver/server.py | |
| parent | 3d4fb127c38007236080988676c2c5e0af4b7ad4 (diff) | |
| download | crawl-ref-6493dee8cd45c22fda452fb5f0f3a5f9531602e1.tar.gz crawl-ref-6493dee8cd45c22fda452fb5f0f3a5f9531602e1.zip | |
Webtiles: Write the PID to the logfile.
Diffstat (limited to 'crawl-ref/source/webserver/server.py')
| -rwxr-xr-x | crawl-ref/source/webserver/server.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/webserver/server.py b/crawl-ref/source/webserver/server.py index 114f97f859..3658c356e7 100755 --- a/crawl-ref/source/webserver/server.py +++ b/crawl-ref/source/webserver/server.py @@ -184,7 +184,7 @@ if __name__ == "__main__": purge_login_tokens_timeout() start_reading_milestones() - logging.info("Webtiles server started!") + logging.info("Webtiles server started! (PID: %s)" % os.getpid()) try: ioloop.start() |