Procházet zdrojové kódy

Check in tests whether the files exist or not (in batch)

Yentl Van Tendeloo před 8 roky
rodič
revize
863610bd5e
2 změnil soubory, kde provedl 14 přidání a 4 odebrání
  1. 6 2
      integration/utils.py
  2. 8 2
      scripts/check_objects.py

+ 6 - 2
integration/utils.py

@@ -12,7 +12,9 @@ import signal
 import random
 
 sys.path.append("interface/HUTN")
+sys.path.append("scripts")
 from hutn_compiler.compiler import main as do_compile
+from check_objects import to_recompile
 
 username = "test_user"
 parallel_push = True
@@ -118,15 +120,17 @@ def run_file(files, parameters, expected, mode):
                 mod_filename = "bootstrap/%s" % filename
             else:
                 raise Exception("File not found: %s" % filename)
-            print("Found file " + str(mod_filename))
+            mod_files.append(mod_filename)
+
+        to_compile = to_recompile(address, mod_files)
 
+        for mod_filename in to_compile:
             if parallel_push:
                 import threading
                 threads.append(threading.Thread(target=compile_file, args=[address, mod_filename, mod_filename, mode, proc]))
                 threads[-1].start()
             else:
                 compile_file(address, mod_filename, mod_filename, mode, proc)
-            mod_files.append(mod_filename)
 
         if parallel_push:
             for t in threads:

+ 8 - 2
scripts/check_objects.py

@@ -3,6 +3,7 @@ import urllib2
 import json
 import random
 import hashlib
+import time
 
 def to_recompile(address, files):
     username = str(random.random())
@@ -12,8 +13,13 @@ def to_recompile(address, files):
     def flush_data(data):
         urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "data": json.dumps(data), "username": username}))).read()
 
-    # Create new user
-    urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % username, "username": "user_manager"}))).read()
+    while 1:
+        try:
+            # Create new user
+            urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % username, "username": "user_manager"}))).read()
+            break
+        except:
+            time.sleep(0.01)
 
     data = []
     for f in files: