*
* Win32 Console API support
*/
-#include "ghcconfig.h"
-#if defined(mingw32_HOST_OS) || defined(cygwin32_HOST_OS) || defined(__MINGW32__) || defined(_MSC_VER)
+#if defined(_MSC_VER) || defined(__MINGW32__) || defined(_WIN32) || defined(__CYGWIN__)
/* to the end */
#include "consUtils.h"
#include <windows.h>
#include <io.h>
-#if defined(cygwin32_HOST_OS)
+#if defined(__CYGWIN__)
#define _get_osfhandle get_osfhandle
#endif
+int is_console__(int fd) {
+ DWORD st;
+ HANDLE h;
+ if (!_isatty(fd)) {
+ /* TTY must be a character device */
+ return 0;
+ }
+ h = (HANDLE)_get_osfhandle(fd);
+ if (h == INVALID_HANDLE_VALUE) {
+ /* Broken handle can't be terminal */
+ return 0;
+ }
+ if (!GetConsoleMode(h, &st)) {
+ /* GetConsoleMode appears to fail when it's not a TTY. In
+ particular, it's what most of our terminal functions
+ assume works, so if it doesn't work for all intents
+ and purposes we're not dealing with a terminal. */
+ return 0;
+ }
+ return 1;
+}
+
+
int
set_console_buffering__(int fd, int cooked)
{
return -1;
}
-#endif /* defined(mingw32_HOST_OS) || ... */
+#endif /* defined(__MINGW32__) || ... */