diff options
Diffstat (limited to 'examples/demo/0/E1')
| -rw-r--r-- | examples/demo/0/E1/finish | 5 | ||||
| -rw-r--r-- | examples/demo/0/E1/flag-essential | 0 | ||||
| -rw-r--r-- | examples/demo/0/E1/notification-fd | 1 | ||||
| -rw-r--r-- | examples/demo/0/E1/run | 5 | ||||
| -rw-r--r-- | examples/demo/0/E1/type | 1 |
5 files changed, 12 insertions, 0 deletions
diff --git a/examples/demo/0/E1/finish b/examples/demo/0/E1/finish new file mode 100644 index 0000000..72428ec --- /dev/null +++ b/examples/demo/0/E1/finish @@ -0,0 +1,5 @@ +#!/usr/bin/execlineb -S4 + +ifelse { eltest $1 -eq 256 } +{ echo "E1 finishing: killed by signal $2" } +echo "E1 finishing: exited $1" diff --git a/examples/demo/0/E1/flag-essential b/examples/demo/0/E1/flag-essential new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/examples/demo/0/E1/flag-essential diff --git a/examples/demo/0/E1/notification-fd b/examples/demo/0/E1/notification-fd new file mode 100644 index 0000000..00750ed --- /dev/null +++ b/examples/demo/0/E1/notification-fd @@ -0,0 +1 @@ +3 diff --git a/examples/demo/0/E1/run b/examples/demo/0/E1/run new file mode 100644 index 0000000..75a547b --- /dev/null +++ b/examples/demo/0/E1/run @@ -0,0 +1,5 @@ +#!/usr/bin/execlineb -S0 + +if { echo E1 starting } +if { fdmove 1 3 echo } +exec sleep 1000000 diff --git a/examples/demo/0/E1/type b/examples/demo/0/E1/type new file mode 100644 index 0000000..5883cff --- /dev/null +++ b/examples/demo/0/E1/type @@ -0,0 +1 @@ +longrun |