Rename rpki to rpkigui.

svn path=/portal-gui/rpki; revision=3284

1 files changed, 0 insertions, 11 deletions

diff --git a/portal-gui/rpki/manage.py b/portal-gui/rpki/manage.py
deleted file mode 100644
index 5e78ea97..00000000
--- a/portal-gui/rpki/manage.py
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/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)