text: /**************************************************************************
   *
   * Copyright 2008-2010 Vmware, Inc.
   * All Rights Reserved.
   *
   * Permission is hereby granted, free of charge, to any person obtaining a
   * copy of this software and associated documentation files (the
   * "Software"), to deal in the Software without restriction, including
   * without limitation the rights to use, copy, modify, merge, publish,
   * distribute, sub license, and/or sell copies of the Software, and to
   * permit persons to whom the Software is furnished to do so, subject to
   * the following conditions:
   *
   * The above copyright notice and this permission notice (including the
   * next paragraph) shall be included in all copies or substantial portions
   * of the Software.
   *
   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
   * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
   * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT.
   * IN NO EVENT SHALL VMWARE AND/OR ITS SUPPLIERS BE LIABLE FOR
   * ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
   * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
   * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
   *
   **************************************************************************/
  
  
  #include "os_misc.h"
  
  #include <stdarg.h>
  
  
  #if defined(PIPE_SUBSYSTEM_WINDOWS_USER)
  
  #ifndef WIN32_LEAN_AND_MEAN
  #define WIN32_LEAN_AND_MEAN      // Exclude rarely-used stuff from Windows headers
  #endif
  #include <windows.h>
  #include <stdio.h>
  
  #else
  
  #include <stdio.h>
  #include <stdlib.h>
  
  #endif
  
  
  void
  os_log_message(const char *message)
  {
     /* If the GALLIUM_LOG_FILE environment variable is set to a valid filename,
      * write all messages to that file.
      */
     static FILE *fout = NULL;
  
     if (!fout) {
        /* one-time init */
        const char *filename = os_get_option("GALLIUM_LOG_FILE");
        if (filename)
           fout = fopen(filename, "w");
        if (!fout)
           fout = stderr;
     }
  
  #if defined(PIPE_SUBSYSTEM_WINDOWS_USER)
     OutputDebugStringA(message);
     if(GetConsoleWindow() && !IsDebuggerPresent()) {
        fflush(stdout);
        fputs(message, fout);
        fflush(fout);
     }
     else if (fout != stderr) {
        fputs(message, fout);
        fflush(fout);
     }
  #else /* !PIPE_SUBSYSTEM_WINDOWS */
     fflush(stdout);
     fputs(message, fout);
     fflush(fout);
  #endif
  }
  
  
  const char *
  os_get_option(const char *name)
  {
     return getenv(name);
  }
  
  