Commit 5c391086 authored by Nadine Wieters's avatar Nadine Wieters

Merge branch 'general_pism_kill_errors' into 'develop'

General pism kill errors

See merge request esm-tools/esm-runscripts!199
parents 131c4545 efecafee
......@@ -556,7 +556,7 @@ pism_set_config_value() {
pism_check_errors() {
if grep -q "PISM ERROR" ${SCRIPT_DIR}/${EXP_ID}_${THIS_JOB_ID}.log; then
if grep -q "ERROR" ${SCRIPT_DIR}/${EXP_ID}_${THIS_JOB_ID}.log; then
echo "!!! DETECTED ERROR !!!"
echo "General Problem with pism >> PISM ERROR << has occured. Killing your job. Sorry." >> $error_log
return 84
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment