Index: trunk/pstamp/scripts/pstamp_finish.pl
===================================================================
--- trunk/pstamp/scripts/pstamp_finish.pl	(revision 19265)
+++ trunk/pstamp/scripts/pstamp_finish.pl	(revision 19273)
@@ -95,5 +95,5 @@
         # Since a request got queued, the request file must have been readable at some
         # point 
-        print STDERR "failed to read request_file $req_file" 
+        print STDERR "failed to read request_file $req_file" ;
         stop_request($req_id, $PS_EXIT_CONFIG_ERROR, $dbname);
         exit  $PS_EXIT_CONFIG_ERROR;