Functionality in debug for miscellaneous mimeTeX binaries

diff --git a/filter/tex/texdebug.php b/filter/tex/texdebug.php
index 5771da07b98ab773857c32d8ab69f0828e87bced..a91193222630d4be355fa5d47d25d743a810dc00 100644 (file)
--- a/filter/tex/texdebug.php
+++ b/filter/tex/texdebug.php
@@ -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);
         }