diff options
Diffstat (limited to 'src/server/rz_server.py')
| -rw-r--r-- | src/server/rz_server.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/server/rz_server.py b/src/server/rz_server.py index 1373bfd5..85d6644e 100644 --- a/src/server/rz_server.py +++ b/src/server/rz_server.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 from flask import Flask from flask import redirect |