diff options
Diffstat (limited to '.travis/track_status.sh')
-rwxr-xr-x | .travis/track_status.sh | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/.travis/track_status.sh b/.travis/track_status.sh deleted file mode 100755 index 91be5a3..0000000 --- a/.travis/track_status.sh +++ /dev/null @@ -1,43 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -o nounset -o pipefail - -track_status() { - local log_path - log_path="$( mktemp )" - echo "Log file path: $log_path" - - local db_path - db_path="$( mktemp --dry-run )" - echo "DB file path: $db_path" - - local rm_aux_files - rm_aux_files="$( printf -- 'rm -f -- %q %q' "$log_path" "$db_path" )" - - trap "$rm_aux_files" RETURN - - echo 'Running track_status.py...' - python3 -m bin.track_status egor.tensin --log "$log_path" --format csv --output "$db_path" & - local pid="$!" - echo "Its PID is $pid" - - local timeout=15 - echo "Sleeping for $timeout seconds..." - sleep "$timeout" - - echo 'Terminating track_status.py...' - kill -SIGINT "$pid" - echo 'Waiting for track_status.py to terminate...' - wait "$pid" - - echo "Log file:" - cat "$log_path" - echo "DB:" - cat "$db_path" -} - -main() { - track_status -} - -main "$@" |