diff options
author | Rob Austein <sra@hactrn.net> | 2009-11-13 05:59:19 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2009-11-13 05:59:19 +0000 |
commit | 47379800ff188fe91b8fd8e1848078efefa5cc1e (patch) | |
tree | 8716c9c4bfa73463e9cf4b63ed7d26d94d076aa0 /portal-gui/rpki/manage.py | |
parent | 7cff9da43227a4c66c61096a495fc4033a8c70a8 (diff) |
Import (unfinished) portal code
svn path=/portal-gui/rpki/__init__.py; revision=2879
Diffstat (limited to 'portal-gui/rpki/manage.py')
-rw-r--r-- | portal-gui/rpki/manage.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/portal-gui/rpki/manage.py b/portal-gui/rpki/manage.py new file mode 100644 index 00000000..5e78ea97 --- /dev/null +++ b/portal-gui/rpki/manage.py @@ -0,0 +1,11 @@ +#!/usr/bin/env python +from django.core.management import execute_manager +try: + import settings # Assumed to be in the same directory. +except ImportError: + import sys + sys.stderr.write("Error: Can't find the file 'settings.py' in the directory containing %r. It appears you've customized things.\nYou'll have to run django-admin.py, passing it your settings module.\n(If the file settings.py does indeed exist, it's causing an ImportError somehow.)\n" % __file__) + sys.exit(1) + +if __name__ == "__main__": + execute_manager(settings) |