Olivier Dony 71247cebb6 [FIX] longpolling/gevent: automatically restart worker when killed ... Whenever the longpolling/gevent worker dies, it should be automatically restarted by the prefork server, just like it happens for HTTP workers.		2014-11-05 17:09:10 +01:00
..
__init__.py	rename server	2013-10-06 00:18:29 +02:00
common.py	[ADD] Stripe-style APIDoc: content	2014-10-27 17:23:16 +01:00
db.py	[REM] asynchronous database creation method	2014-07-15 12:26:55 +02:00
model.py	[MERGE] new v8 api by rco	2014-07-06 17:05:41 +02:00
report.py	[FIX] setup Environment for the report thread	2014-07-14 12:41:07 +01:00
security.py	[MERGE] new v8 api by rco	2014-07-06 17:05:41 +02:00
server.py	[FIX] longpolling/gevent: automatically restart worker when killed	2014-11-05 17:09:10 +01:00
websrv_lib.py	[FORWARD] Forward port of server 7.0 until revision 4988	2013-05-28 12:27:33 +02:00
wsgi_server.py	[MERGE] new v8 api by rco	2014-07-06 17:05:41 +02:00