design fix

2024-10-11 16:18:20 +02:00
parent 5ecfcaf1e3
commit 996d6d79dd
2 changed files with 7 additions and 2 deletions
@@ -64,6 +64,7 @@ function walltimeStart() {

 export function isInputValidRegex(obj: string | undefined, subj: string | undefined, bounds: string | undefined, vars: string | undefined): boolean {
  customLog("input_checks_start");
+  customLog("");

  // standard case: input is undefined - invalid
  if (obj === undefined || obj === null || subj === undefined || subj === null || bounds === undefined || bounds === null || vars === undefined || vars === null) {