summaryrefslogtreecommitdiff
path: root/parallel/glunix/patches/patch-bh
blob: eaa7d07ae901467f717b257e46664d9c303dfa46 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
$NetBSD: patch-bh,v 1.2 2000/07/10 23:54:24 wiz Exp $

--- progs/tools/run_glunix_script.pl.orig	Wed Nov  5 15:44:28 1997
+++ progs/tools/run_glunix_script.pl	Thu Jun 22 00:31:41 2000
@@ -6,20 +6,21 @@
 # These machines have to be able to do a root rsh to all other machines in
 # the cluster.
 @ok_hostnames = ("%%MASTER_HOSTNAME%%");
-@ok_people = ("ghorm", "glunix", "root");    # These people are allowed to
-                                             # modify the production cluster
-@dont_notify_people = ("ghorm", "jcoates");  # Don't send mail if these people
-                                             # do things.
+@ok_people = ("glunix", "root");	# These people are allowed to
+					# modify the production cluster
+@dont_notify_people = ();		# Don't send mail if these people
+					# do things.
 
 $root_dir = "%%GLUNIX_DIR%%";
 $data_dir = "%%GLUNIX_DATA_DIR%%";
-$release_dir = "$root_dir/release";
+$release_dir = "$root_dir";
 $devel_dir = "$root_dir/devel";
 $perl_lib = "%%PERL_LIB_DIR%%";
 $run_glunix_agent = "%%INSTALL_DIR%%/bin/run_glunix_agent";
-$command_master = "u";    # The preferred location of the master
+# The preferred location of the master
+$command_master = "%%MASTER_HOSTNAME%%";    
 $mail_cmd = "%%MAIL_PATH%%";
-$admin_email = "glunix-admin\@now.cs";
+$admin_email = "root";
 $questions_email = "glunix\@now.cs.berkeley.edu";
 $glunix_platform = "%%GLUNIX_PLATFORM%%";
 $rsh_command = "%%RSH_PATH%%";
@@ -548,8 +549,8 @@
 	    next;
 	}
 	$full_hostname = &expand_hostname($host);
-	$ping_str = `/usr/sbin/ping -v $full_hostname 2`;
-	if ($ping_str =~ m/$full_hostname.* is alive/) {
+	$ping_str = `/sbin/ping -o $full_hostname`;
+	if ($ping_str =~ m/1 packets transmitted, 1 packets received/) {
 	    push(@alive, $host);
 	    print "$host ";
 	} else {
@@ -1097,7 +1098,7 @@
 
     foreach $pid (keys %children) {
 	kill(2, $pid);
-	print STDERR &expand_hostname(${children{$pid}}), ".CS.Berkeley.EDU: timed out\n";
+	print STDERR &expand_hostname(${children{$pid}}), ": timed out\n";
     }
 }