From f7e0a0b8e795a6d4e2dd13bec155b9e38ce2030e Mon Sep 17 00:00:00 2001
From: fiedorow <fiedorow>
Date: Thu, 10 Jun 2004 16:47:30 +0000
Subject: [PATCH] Functionality in debug for miscellaneous mimeTeX binaries

---
 filter/tex/texdebug.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/filter/tex/texdebug.php b/filter/tex/texdebug.php
index 5771da07b98ab..a91193222630d 100644
--- a/filter/tex/texdebug.php
+++ b/filter/tex/texdebug.php
@@ -119,7 +119,12 @@ function tex2image($texexp) {
                 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);
         }