diff --git a/gulliver/system/class.g.php b/gulliver/system/class.g.php
index bf2423b73..495b923d6 100644
--- a/gulliver/system/class.g.php
+++ b/gulliver/system/class.g.php
@@ -3130,7 +3130,7 @@ function eprintln($s="", $c=null){
     } else 
       echo "<pre>$s</pre>";
   } else {
-    if(isset($c)){
+    if(isset($c) && (PHP_OS != 'WINNT')){
       switch($c){
         case 'green':
           printf("\033[0;35;32m$s\033[0m\n");