diff options
author | fergus.henderson <fergus.henderson@01de4be4-8c4a-0410-9132-4925637da917> | 2008-06-09 20:28:09 +0000 |
---|---|---|
committer | fergus.henderson <fergus.henderson@01de4be4-8c4a-0410-9132-4925637da917> | 2008-06-09 20:28:09 +0000 |
commit | a552a8883c8cc0214f7324eaf499c8c4a7ac42da (patch) | |
tree | 0bd7d72199bb079eee15f2c71fcf929062642ffa | |
parent | 7b103922d9dca604d05d258bd544df3bed9e205a (diff) | |
download | distcc-a552a8883c8cc0214f7324eaf499c8c4a7ac42da.tar.gz |
Rename "Critique" function as "ReportDiscrepancies",
to make it clearer what the function does.
Reviewers: Craig Silverstein, Nils Klarlund
git-svn-id: http://distcc.googlecode.com/svn/trunk@488 01de4be4-8c4a-0410-9132-4925637da917
-rwxr-xr-x | pump.in | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -317,7 +317,7 @@ StartIncludeServer() { fi } -Critique() { +ReportDiscrepancies() { # The discrepancy_counter file is created when a pump-mode distcc invocation # failed remotely but succeeded locally. num_discrepancies=`(cat $socket_dir/discrepancy_counter 2>/dev/null | wc -c \ @@ -334,7 +334,7 @@ Critique() { } ShutDown() { - Critique + ReportDiscrepancies # Always -- at exit -- shut down include_server and remove $socket_dir if [ -n "$include_server_pid" ] && \ ps -p "$include_server_pid" > /dev/null; then |