updating testing git refs

pykat/testing/test.py

@@ -217,7 +217,7 @@ class FinesseTestProcess(Thread):
                 shutil.rmtree(BUILD_PATH)
 
             print "Checking out finesse base..."
-            utils.git(["clone","git://gitmaster.atlas.aei.uni-hannover.de/finesse/finesse.git", BUILD_PATH])
+            utils.git(["clone","https://gitlab.aei.uni-hannover.de/finesse/finesse.git", BUILD_PATH])
 
             print "Checking out and building develop version of finesse " + self.git_commit
             

pykat/testing/web_server.py

@@ -32,7 +32,7 @@ def start(instance_path,port=5000, debug=True, ip="0.0.0.0", git_bin="/usr/bin/g
     # need local copy of src
     if not os.path.exists(os.path.join(app.instance_path,"finesse_src")):
         print "finesse src folder didn't exist, cloning now..."
-        utils.git(["clone","git://gitmaster.atlas.aei.uni-hannover.de/finesse/finesse.git","finesse_src"])
+        utils.git(["clone","https://gitlab.aei.uni-hannover.de/finesse/finesse.git","finesse_src"])
     else:
         # get the latest version for logs etc.
         utils.git("pull", cwd=os.path.join(app.instance_path,"finesse_src"))