Commit 1f10188a authored by Nadine Wieters's avatar Nadine Wieters

Merge branch 'develop' of into develop

parents 345e7368 5c391086
......@@ -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