diff options
Diffstat (limited to 'dis/demo/ns')
| -rw-r--r-- | dis/demo/ns/ns.dis | bin | 0 -> 1973 bytes | |||
| -rwxr-xr-x | dis/demo/ns/runns | 7 |
2 files changed, 7 insertions, 0 deletions
diff --git a/dis/demo/ns/ns.dis b/dis/demo/ns/ns.dis Binary files differnew file mode 100644 index 00000000..48a9a1f5 --- /dev/null +++ b/dis/demo/ns/ns.dis 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' |