diff --git a/etc/results_to_netscape b/etc/results_to_netscape index e15c4d976bc0763da07f6cf8f12d0ba2c3640214..a642ff1968996c3803b3ed15f7a8faaa5656a377 100755 --- a/etc/results_to_netscape +++ b/etc/results_to_netscape @@ -53,6 +53,8 @@ unique_bit=$$.`hostname` file_arg=`echo $file_arg | sed 's@^/tmp_mnt/nfs/@/nfs/@' | sed 's@^/tmp_mnt/tmp_nfs/@/nfs/@'` # fix for pcs3: file_arg=`echo $file_arg | sed 's@^/yeastpub4/@/nfs/disk222/yeastpub4/@'` +# fix for pcs4: +file_arg=`echo $file_arg | sed 's@^/.automount/pcs3/root/nfs/@/nfs/@'` if [ -f ./$file_arg ]