From 6f94f032a425ab52deffd75a8721dca047f53475 Mon Sep 17 00:00:00 2001 From: David Anderson Date: Wed, 27 Jun 2007 18:14:25 +0000 Subject: [PATCH] - user web: host merge: don't require OS names to match exactly; OK if both contain "Windows", "Linux", "SunOS" or "Darwin". html/inc/ host.inc svn path=/trunk/boinc/; revision=13038 --- checkin_notes | 7 +++++++ html/inc/host.inc | 23 ++++++++++++++++++++--- 2 files changed, 27 insertions(+), 3 deletions(-) diff --git a/checkin_notes b/checkin_notes index 66aaa669e6..70cb9b17bb 100755 --- a/checkin_notes +++ b/checkin_notes @@ -6781,3 +6781,10 @@ David 27 June 2007 html/inc/ host.inc + +David 27 June 2007 + - user web: host merge: don't require OS names to match exactly; + OK if both contain "Windows", "Linux", "SunOS" or "Darwin". + + html/inc/ + host.inc diff --git a/html/inc/host.inc b/html/inc/host.inc index 6315742f31..30cf001cb3 100644 --- a/html/inc/host.inc +++ b/html/inc/host.inc @@ -303,6 +303,14 @@ function times_disjoint($host1, $host2) { return false; } +function os_compatible($host1, $host2) { + if (strstr($host1->os_name, "Windows") && strstr($host2->os_name, "Windows")) return true; + if (strstr($host1->os_name, "Linux") && strstr($host2->os_name, "Linux")) return true; + if (strstr($host1->os_name, "Darwin") && strstr($host2->os_name, "Darwin")) return true; + if (strstr($host1->os_name, "SunOS") && strstr($host2->os_name, "SunOS")) return true; + return false; +} + // Return true if it's possible that the two host records // correspond to the same host // NOTE: the cheat-proofing comes from checking @@ -313,10 +321,19 @@ function hosts_compatible($host1, $host2) { // skip disjoint-time check if one host or other has no credit // if ($host1->total_credit && $host->total_credit) { - if (!times_disjoint($host1, $host2)) return false; + if (!times_disjoint($host1, $host2)) { + //echo "
h2 $host2->create_time $host2->rpc_time"; + return false; + } + } + if (!os_compatible($host1, $host2)) { + //echo "
$host1->id $host2->id: name\n"; + return false; + } + if (!cpus_compatible($host1, $host2)) { + //echo "
$host1->id $host2->id: cpu\n"; + return false; } - if ($host2->os_name != $host1->os_name) return false; - if (!cpus_compatible($host1, $host2)) return false; return true; }