diff --git a/biogames2.json b/biogames2.json index 589805d..689a351 100644 --- a/biogames2.json +++ b/biogames2.json @@ -73,8 +73,8 @@ "type": "Biogames", "url": "http://0.0.0.0:5000/game2/instance/log/list/", "login_url": "http://localhost:5000/game2/auth/json-login", - "username": "dev", - "password": "dev", + "username": "ba", + "password": "853451", "host":"http://0.0.0.0:5000" } } \ No newline at end of file diff --git a/filter_todo/pre_filter.py b/filter_todo/pre_filter.py index 27480c4..8cc3c98 100644 --- a/filter_todo/pre_filter.py +++ b/filter_todo/pre_filter.py @@ -62,7 +62,7 @@ distribution = defaultdict(lambda: 0) finished_and_simu = defaultdict(list) files = {} actions_dist = defaultdict(list) -with open('/home/agp8x/git/uni/ma/project/data/0000_ref') as src: +with open('/home/clemens/git/ma/test/src') as src: for line in src: line = line.strip() instance_id, log = get_json(line) diff --git a/log_analyzer.py b/log_analyzer.py index 3a492c6..c9c7a3b 100644 --- a/log_analyzer.py +++ b/log_analyzer.py @@ -58,7 +58,8 @@ def load_ids(name: str): def urach_logs(log_ids, settings): - return ["data/inst_{id}.{format}".format(id=log_id, format=settings.log_format) for log_id in log_ids] + #return ["data/inst_{id}.{format}".format(id=log_id, format=settings.log_format) for log_id in log_ids] + return ["data/{id}.{format}".format(id=log_id, format=settings.log_format) for log_id in log_ids] def write_logentry_count_csv(): diff --git a/static/progress/data/.gitkeep b/static/progress/data/.gitkeep new file mode 100644 index 0000000..e69de29 diff --git a/static/progress/index.html b/static/progress/index.html index bc641e6..25464d6 100644 --- a/static/progress/index.html +++ b/static/progress/index.html @@ -12,87 +12,14 @@ - -
OSM Logo: CC-BY-SA + \ No newline at end of file diff --git a/static/progress/my.js b/static/progress/my.js index ee04a3d..55b22f4 100644 --- a/static/progress/my.js +++ b/static/progress/my.js @@ -1,24 +1,29 @@ //$.getJSON("data/ff8f1e8f-6cf5-4a7b-835b-5e2226c1e771_03b9b6b4-c8ab-4182-8902-1620eebe8889.json", function (data) { $.getJSON("data/ff8f1e8f-6cf5-4a7b-835b-5e2226c1e771_de7df5b5-edd5-4070-840f-68854ffab9aa.json", function (data) { var images = {}; - var mapContainer = $("
", {id: "mainMap", class: "mapDiv"}); - mapContainer.appendTo("body"); var tiles = { "osm": L.tileLayer('http://{s}.tile.osm.org/{z}/{x}/{y}.png', { + maxNativeZoom: 19, + maxZoom: 24, attribution: '© OpenStreetMap contributors', }), "openstreetmap": L.tileLayer('https://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png', { + maxNativeZoom: 19, + maxZoom: 24, attribution: '© OpenStreetMap' }), "esri sat": L.tileLayer('https://server.arcgisonline.com/ArcGIS/rest/services/World_Imagery/MapServer/tile/{z}/{y}/{x}', { + maxNativeZoom: 19, + maxZoom: 24, attribution: 'Tiles © Esri — Source: Esri, i-cubed, USDA, USGS, AEX, GeoEye, Getmapping, Aerogrid, IGN, IGP, UPR-EGP, and the GIS User Community' }), "google sat": L.tileLayer('http://{s}.google.com/vt/lyrs=s&x={x}&y={y}&z={z}', { - maxZoom: 20, + maxNativeZoom: 20, + maxZoom: 24, subdomains: ['mt0', 'mt1', 'mt2', 'mt3'] }) }; - var map = L.map("mainMap", {layers: [tiles.osm], maxZoom: 22, maxNativeZoom: 19}); + var map = L.map("mainMap", {layers: [tiles.osm]}); function styleTrack(feature) { var styles = {}; @@ -68,23 +73,32 @@ $.getJSON("data/ff8f1e8f-6cf5-4a7b-835b-5e2226c1e771_de7df5b5-edd5-4070-840f-688 var heat = L.heatLayer(coords); L.control.layers(tiles, {"heatmap": heat}).addTo(map); - var marker = null; var list = $("