diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-30 11:43:45 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-30 11:43:45 +0200 |
| commit | 04a06ee1ecc66d683706c05af785e8ff5dedad58 (patch) | |
| tree | 7d73720f89e138b52b77535a6285462e25ae05f2 | |
| parent | 415c6aad4c8324b7de4d11e07600344b0e0b90c3 (diff) | |
| download | builder-04a06ee1ecc66d683706c05af785e8ff5dedad58.tar.xz | |
bin/ping-from-slave: remove done TODO
| -rwxr-xr-x | bin/ping-from-slave | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bin/ping-from-slave b/bin/ping-from-slave index 171661d..6246b02 100755 --- a/bin/ping-from-slave +++ b/bin/ping-from-slave @@ -10,8 +10,6 @@ # shellcheck source=../lib/load-configuration . "${0%/*}/../lib/load-configuration" -# TODO: receive and save number of trials so far - if [ "$( # shellcheck disable=SC2016,SC2154 { |