summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rwxr-xr-xsrc/local/server-tools/rz-user-tool.py (renamed from src/local/server-tools/rz_user.py)5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/local/server-tools/rz_user.py b/src/local/server-tools/rz-user-tool.py
index 1f01f699..0ae7018a 100755
--- a/src/local/server-tools/rz_user.py
+++ b/src/local/server-tools/rz-user-tool.py
@@ -1,3 +1,5 @@
+#!/usr/bin/python2.7
+
# This file is part of rhizi, a collaborative knowledge graph editor.
# Copyright (C) 2014-2015 Rhizi
#
@@ -14,9 +16,6 @@
# You should have received a copy of the GNU Affero General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
-
-#!/usr/bin/python2.7
-
import argparse
import os
import pickle