From 8cf9e9ee08f6bc8f224ac20f9d4027d245203688 Mon Sep 17 00:00:00 2001 From: Bill Fenner Date: Sat, 12 Jun 2010 18:58:00 +0000 Subject: Rename rpki to rpkigui. svn path=/portal-gui/rpki; revision=3284 --- portal-gui/rpki/manage.py | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 portal-gui/rpki/manage.py (limited to 'portal-gui/rpki/manage.py') 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) -- cgit v1.2.3