Pings are optional

diff --git a/TODO b/TODO
index b1b2a01b7d232a96f2421a38bd4fb8c0a1a68b7e..7b7081e107361ce877695e355932be499e96705f 100644 (file)
--- a/TODO
+++ b/TODO
@@ -6,8 +6,7 @@
 - bprun --curses
 - Locking
 - rsync, rsync-only
-- Rename machine -> host
+- Terminology: machine vs. host
 - ssh options
 - Detector of orphans (unused queue dirs, jobs on non-existent machines, non-queued jobs)
 - job failed => give a more explanatory message
-- configurable ping

diff --git a/brun b/brun
index b22d5b656f8e819c2e7f882f3322a56a02e9f67e..449f8a133f54fcc041d2a8a8e5430cc8250494ab 100755 (executable)
--- a/brun
+++ b/brun
@@ -44,6 +44,7 @@ sub update_status($$$$;$) {
 
 sub ping_machine($) {
        my ($mach) = @_;
+       return 1 unless $BEX::Config::ping_hosts;
        update_status($mach, '-', 'PING', undef);
        my $host = BEX::Config::host_name($mach);
        `ping -c1 -n $host >/dev/null 2>/dev/null`;

diff --git a/lib/BEX/Config.pm b/lib/BEX/Config.pm
index 90c5700a70ca1c048399416657e35e6a43a42dd5..4526faeb3e9ab2d2fa0726e210f53d77cb3d175a 100644 (file)
--- a/lib/BEX/Config.pm
+++ b/lib/BEX/Config.pm
@@ -25,6 +25,9 @@ our $job_epilog = 'epilog';
 # Keep history of successfully completed jobs
 our $keep_history = 1;
 
+# Before we try to connect to a host, ping it to check if it's alive
+our $ping_hosts = 1;
+
 # Various utility functions
 
 sub parse_machine_list(@);