Trial and error to find out that != "" does not check for empty string, even though it is defined like it in params initialization

glormph · viklund · commit f64794942894 · 2017-04-04T16:57:14.000+02:00
diff --git a/config/devcore.config b/config/devcore.config
@@ -3,7 +3,7 @@ process {
         "-A $params.project"
     }
 
-    errorStrategy = { if (task.exitStatus == 143) { 'retry' } else if ($params.runfile != "" ) { 'ignore' } else { 'terminate' } }
+    errorStrategy = { if (task.exitStatus == 143) { 'retry' } else if ( $params.runfile ) { 'ignore' } else { 'terminate' } }
     queue = 'devcore'
     executor = 'slurm'
 
diff --git a/config/standard.config b/config/standard.config
@@ -3,7 +3,7 @@ process {
         "-A $params.project"
     }
 
-   errorStrategy = { if (task.exitStatus == 143) { 'retry' } else if ($params.runfile != "" ) { 'ignore' } else { 'terminate' } }
+   errorStrategy = { if (task.exitStatus == 143) { 'retry' } else if ( $params.runfile ) { 'ignore' } else { 'terminate' } }
     queue = 'core'
     executor = 'slurm'
 

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@ process {`
`3`	`3`	`"-A $params.project"`
`4`	`4`	`}`
`5`	`5`
`6`		`- errorStrategy = { if (task.exitStatus == 143) { 'retry' } else if ($params.runfile != "" ) { 'ignore' } else { 'terminate' } }`
	`6`	`+ errorStrategy = { if (task.exitStatus == 143) { 'retry' } else if ( $params.runfile ) { 'ignore' } else { 'terminate' } }`
`7`	`7`	`queue = 'devcore'`
`8`	`8`	`executor = 'slurm'`
`9`	`9`