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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
import time
import sys
NULL_CHAR = '\0'
def say(s):
who = sys.argv[0]
if who.endswith(".py"):
who = who[:-3]
s = "%s@%1.6f: %s" % (who, time.time(), s)
print(s)
def write_to_memory(memory, s):
say("writing %s " % s)
s += NULL_CHAR
s = s.encode()
memory.write(s)
def read_from_memory(memory):
s = memory.read()
s = s.decode()
i = s.find(NULL_CHAR)
if i != -1:
s = s[:i]
say("read %s" % s)
return s
def read_params():
params = {}
with open("params.txt", "r") as f:
for line in f:
line = line.strip()
if line:
if line.startswith('#'):
# comment in input; ignore
pass
else:
name, value = line.split('=')
name = name.upper().strip()
if name == "PERMISSIONS":
value = int(value, 8)
else:
value = int(value)
params[name] = value
return params
|
