--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/server/manage.py	Mon Feb 23 12:40:17 2015 +0100
@@ -0,0 +1,10 @@
+#!/usr/bin/env python
+import os
+import sys
+
+if __name__ == "__main__":
+    os.environ.setdefault("DJANGO_SETTINGS_MODULE", "settings")
+
+    from django.core.management import execute_from_command_line
+
+    execute_from_command_line(sys.argv)