Christophe Simonis e5b0933743 [FIX] data-dir management ... - sessions are now shared between series. - use site data dir instead of user data dir if user has no home dir. - in http and module handling, `data-dir` was used before being initialized, using the default value instead of user input (fixes #308, #904)		2014-07-07 15:49:24 +02:00
..
__init__.py	new test execution engine	2014-02-09 01:40:05 +01:00
db.py	[FIX] module: do not recreate categories when updating modules	2012-11-28 19:37:01 +01:00
graph.py	[IMP] unpack a listcomp in a dict passed to an update, pass gencomp directly to update	2014-06-20 07:52:42 +02:00
loading.py	[MERGE] new v8 api by rco	2014-07-06 17:05:41 +02:00
migration.py	[FIX] migration: correct the verification of module version against running server	2014-01-10 17:27:05 +01:00
module.py	[FIX] data-dir management	2014-07-07 15:49:24 +02:00
registry.py	[MERGE] new v8 api by rco	2014-07-06 17:05:41 +02:00