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