summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Levy <alon@pobox.com>2015-08-13 17:22:18 +0300
committerAlon Levy <alon@pobox.com>2015-08-13 17:22:18 +0300
commit4b28fcdf65d313593305aa0c2d4e6113914730d4 (patch)
treeb722601d872c353917bfcc7889a58a60e5c4b5a8
parent9bc8df46bde6d8788a3c76152d4fb674dfcb7564 (diff)
src/local/server-tools: rename rz_user to rz-user-tool to avoid module confusion with server/rz_user; move shebang to first line (copyright addition blunder)
-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