Changeset 25112

Timestamp:

Aug 18, 2009, 11:59:40 AM (17 years ago)

Author:

bills

Message:

if a request fails because of a duplicate request name, just
stop the request. There is no fileset to place the results on

File:

• trunk/pstamp/scripts/pstamp_finish.pl (modified) (1 diff)

trunk/pstamp/scripts/pstamp_finish.pl

@@ -181 +181 @@
         my $fault = $job->{fault};
         my $exp_id = $job->{exp_id};
+
+        if ($fault eq $PSTAMP_DUP_REQUEST) {
+            # this request had a duplicate request name. We can't put the results
+            # on the data store since the product name is already used
+            # maybe we could be more clever about this and choose a fileset name
+            stop_request($req_id, $fault);
+        }
 
         my ($row, $req_info, $project) = get_request_info($rows, $rownum);