diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-08-25 13:20:51 +0200 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-08-25 14:19:11 +0200 |
| commit | 8728e25b3436576faf5a9b82b9174c7d8ce8f640 (patch) | |
| tree | 1a77fe82969e532620b2f2a7195c3f561a5a08f7 /timeout-finish | |
| parent | e2da8ef1a313a810d1b24c9d5fa1639814d463d1 (diff) | |
add a timeout value for the finish script
Diffstat (limited to 'timeout-finish')
| -rw-r--r-- | timeout-finish | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/timeout-finish b/timeout-finish index e69de29..5caff40 100644 --- a/timeout-finish +++ b/timeout-finish @@ -0,0 +1 @@ +10000 |