diff options
| author | Alon Levy <alon@pobox.com> | 2015-04-10 18:00:26 +0200 |
|---|---|---|
| committer | Alon Levy <alon@pobox.com> | 2015-04-10 18:14:47 +0200 |
| commit | 30bf7c4e6ab0e8521d3acdfceb3f4f37cee44abf (patch) | |
| tree | 0c8a9f7944cded35bdc8769c3d072c961187a7b0 /src/local/server-tools/rz.py | |
| parent | 5ecd636b8104cbc7c20c68afedaaba68d0298d68 (diff) | |
server tools: move to separate dir, rename, add helper rz.py to hide ugly import details
Diffstat (limited to 'src/local/server-tools/rz.py')
| -rw-r--r-- | src/local/server-tools/rz.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/local/server-tools/rz.py b/src/local/server-tools/rz.py new file mode 100644 index 00000000..4bcf6c05 --- /dev/null +++ b/src/local/server-tools/rz.py @@ -0,0 +1,4 @@ +# hack to setup rhizi path - needs a proper install +import sys +import os +sys.path.append(os.path.join(os.path.dirname(__file__), '..', '..', 'server')) |