diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/replay_log | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/replay_log b/tools/replay_log index 02155f4..27298ca 100755 --- a/tools/replay_log +++ b/tools/replay_log @@ -78,6 +78,7 @@ binarydata/${LOG_FILE}?id=${LOG_IDNUM}&logIndex=0" TYPE="$(file "$LOG_FILE")" if [[ "$TYPE" = *bzip2* ]]; then # download success + infile="$LOG_FILE" break fi rm -f "$LOG_FILE" |