diff -r c3c3e48b0603 -r a84aa262847c server/ammicossrv/manage.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/server/ammicossrv/manage.py	Mon Jun 08 09:14:20 2015 +0200
@@ -0,0 +1,10 @@
+#!/usr/bin/env python
+import os
+import sys
+
+if __name__ == "__main__":
+    os.environ.setdefault("DJANGO_SETTINGS_MODULE", "settings.dev")
+
+    from django.core.management import execute_from_command_line
+
+    execute_from_command_line(sys.argv)