Executive: fix up sharing check

Reinstates
 7b69d0fac4912f077c5ecc53088b0272d9a6b0bb
which was lost during the merge

diff --git a/Osstest/JobDB/Executive.pm b/Osstest/JobDB/Executive.pm
index a06eb6398c40f7eb7281f494f5637ba792e94d63..ba51bdfce3ca62175c99f1d387b0791091385f07 100644 (file)
--- a/Osstest/JobDB/Executive.pm
+++ b/Osstest/JobDB/Executive.pm
@@ -129,7 +129,7 @@ sub host_check_allocated ($$) { #method
         $ho->{Shared}{State} eq 'ready';
     $ho->{SharedReady}=
        $ho->{SharedMaybeOthers} &&
-        !! (grep { $_ eq "share-".$ho->{Shared}{Type} }
+        !! (grep { $_." ".get_harness_rev() eq "share-".$ho->{Shared}{Type} }
            get_hostflags($ho->{Ident}));
     $ho->{SharedOthers}=
         $ho->{Shared} ? $ho->{Shared}{Others} : 0;