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