From 60efe6cbb3ee3433163a422d0fbf8ea656743dfb Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 16 Feb 2004 06:44:50 +0000
Subject: [PATCH] Apparently WIN32 gets returned sometimes too

---
 filter/tex/pix.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/filter/tex/pix.php b/filter/tex/pix.php
index ccaf03f565..4da96a9a14 100644
--- 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\"");
-- 
2.39.5