Use isinstance() instead of type() and remove useless list(....keys())

[modules/kernel.git] / bin / server.py

diff --git a/bin/server.py b/bin/server.py
index 3b973632323145918e33f507b95f3da1ece39d16..2712c880e731cbd51c661f05170716d0809e3619 100755 (executable)
--- a/bin/server.py
+++ b/bin/server.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 #  -*- coding: iso-8859-1 -*-
 # Copyright (C) 2007-2016  CEA/DEN, EDF R&D, OPEN CASCADE
 #
@@ -71,7 +71,7 @@ class Server:
                                    + os.getenv("LD_LIBRARY_PATH")]
               myargs = myargs +['-T']+self.CMD[:1]+['-e'] + env_ld_library_path
         command = myargs + self.CMD
-        #print "command = ", command
+        # print("command = ", command)
         if sys.platform == "win32":
           import subprocess
           pid = subprocess.Popen(command).pid