| changeset 1841 | 9fd29e8b1393 |
| parent 1737 | a39c2918c015 |
| child 1879 | 4d81c3bcac82 |
| 1840:cf5ef4c0deff | 1841:9fd29e8b1393 |
|---|---|
21 global appname |
21 global appname |
22 appname = an |
22 appname = an |
23 |
23 |
24 |
24 |
25 def getloadpath(): |
25 def getloadpath(): |
26 global loadpath |
|
27 return loadpath |
26 return loadpath |
28 |
27 |
29 |
28 |
30 def addoverride(module_name, path): |
29 def addoverride(module_name, path): |
31 global overrides |
|
32 overrides[module_name] = path |
30 overrides[module_name] = path |
33 |
31 |
34 |
32 |
35 def addstack(linedebug): |
33 def addstack(linedebug): |
36 JS(""" |
34 JS(""" |