move portal-gui django app to $top/rpkid/rpki/gui

change dashboard url to /rpki/

put myrpki cli path and confdir into settings.py rather than generating glue.py at build time

don't use the old myrpki images on the dashboard

no longer need to include the portal-gui python module in sys.path since it is installed in site-packages

svn path=/buildtools/subst-vars.py; revision=3646

1 files changed, 0 insertions, 11 deletions

diff --git a/portal-gui/rpkigui/manage.py b/portal-gui/rpkigui/manage.py
deleted file mode 100644
index 5e78ea97..00000000
--- a/portal-gui/rpkigui/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)