Apparently WIN32 gets returned sometimes too

diff --git a/filter/tex/pix.php b/filter/tex/pix.php
index ccaf03f5656e8f9eb4c838e7c0916ee475c8a44f..4da96a9a1409384b5ccbe79d287d655eb434b583 100644 (file)
--- a/filter/tex/pix.php
+++ b/filter/tex/pix.php
@@ -51,6 +51,7 @@
                     system("QUERY_STRING=;export QUERY_STRING;$CFG->dirroot/$CFG->texfilterdir/mimetex.linux -d ". escapeshellarg($texexp) . "  >$pathname");
                 break;
                 case "WINNT":
+                case "WIN32":
                 case "Windows":
                     $texexp = str_replace('"','\"',$texexp);
                     system("$CFG->dirroot/$CFG->texfilterdir/mimetex.exe -e  $pathname \"$texexp\"");