Functionality in debug for miscellaneous mimeTeX binaries

2004-06-10 16:47:30 +00:00
parent db0178a3be
commit f7e0a0b8e7
1 changed files with 5 additions and 0 deletions
@@ -119,7 +119,12 @@
                break;
            }
            if (!$cmd) {
+	      if (is_executable("$CFG->dirroot/$CFG->texfilterdir/mimetex")) {   /// Use the custom binary
+                $commandpath="$CFG->dirroot/$CFG->texfilterdir/mimetex";
+                $cmd = "$CFG->dirroot/$CFG->texfilterdir/mimetex -e $pathname ". escapeshellarg($texexp);
+              } else {
                error($error_message1);
+	      }
            }
            system($cmd, $status);
        }