File size: 741 Bytes
10a5730
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
import json
import os

def read_json_file(filename):
    with open(filename, 'r') as file:
        data = json.load(file)
    return data

demos_json = read_json_file("online/demos.json")
tools_json = read_json_file("online/tools.json")

demos_dict = {}
for name, values in demos_json.items():
    demos_dict[name] = values
tools_dict = {}
for name, values in tools_json.items():
    tools_dict[name] = values

demos_names = []
tools_names = []

def load_demos_names():
    demos_names.extend(demos_dict.keys())
    return demos_names

def load_tools_names():
    tools_names.extend(tools_dict.keys())
    return tools_names

def load_demos_url(name):
    return demos_dict[name][0]

def load_tools_url(name):
    return tools_dict[name][0]