diff options
Diffstat (limited to 'dis/demo/ns/runns')
| -rwxr-xr-x | dis/demo/ns/runns | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dis/demo/ns/runns b/dis/demo/ns/runns new file mode 100755 index 00000000..6394c468 --- /dev/null +++ b/dis/demo/ns/runns @@ -0,0 +1,7 @@ +#!/dis/sh +load std +if {~ $#* 0} { + echo usage: runns path0 path1 ... pathn + raise usage +} +grid/register -a resource Namespace 'grid/srv/ns '^$"* | grid/srv/monitor 1 'Namespace' |