diff --git a/checkin_notes b/checkin_notes index 0687db13b9..e9d4ec4706 100755 --- a/checkin_notes +++ b/checkin_notes @@ -7101,11 +7101,18 @@ David 26 May 2005 David 26 May 2005 - file_deleter: if a file is present but can't be deleted, don't mark the WU or result as file_delete_state = DONE; - leave it READY. + leave it in state READY. This addresses the case where files can't be deleted because of dir permissions. + + If such an error occurs, sleep for 5 seconds before next scan + (avoid rapid infinite loop) + (From Kevin Reed) + - Change log messages in file_deleter to same format as other daemons, + e.g. [WU#12345] + sched/ file_deleter.C @@ -7130,3 +7137,9 @@ David 27 May 2005 lib/ boinc_cmd.C + +David 28 May 2005 + - commented out RedHat stuff from config.guess + (fix problem where Linux platform name contains "redhat") + + config.guess diff --git a/config.guess b/config.guess index 2fc3acce2e..851196fb11 100755 --- a/config.guess +++ b/config.guess @@ -137,11 +137,11 @@ UNAME_SYSTEM=`(uname -s) 2>/dev/null` || UNAME_SYSTEM=unknown UNAME_VERSION=`(uname -v) 2>/dev/null` || UNAME_VERSION=unknown ## for Red Hat Linux -if test -f /etc/redhat-release ; then - VENDOR=redhat ; -else +##if test -f /etc/redhat-release ; then +## VENDOR=redhat ; +##else VENDOR= ; -fi +##fi # Note: order is significant - the case branches are not exclusive. diff --git a/doc/client_unix.php b/doc/client_unix.php index bd003312c9..c8e747b85d 100644 --- a/doc/client_unix.php +++ b/doc/client_unix.php @@ -93,6 +93,8 @@ boinc_cmd [--host hostname] [--passwd passwd] command The commands are as follows: "; list_start(); +list_item("--help, -h", "help (show commands)"); +list_item("--version, -V", "show version"); list_item("--get_state", "show client state"); list_item("--get_results", "show results"); list_item("--get_file_transfers", "show file transfers");