From 01327212322bad6a091261729b7b5ae9751a7245 Mon Sep 17 00:00:00 2001 From: batrick Date: Tue, 6 Aug 2013 21:41:09 +0000 Subject: [PATCH] formatting --- nmap_tty.cc | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/nmap_tty.cc b/nmap_tty.cc index 2220ecdef..819dc89f9 100644 --- a/nmap_tty.cc +++ b/nmap_tty.cc @@ -189,10 +189,11 @@ static int tty_getchar() #endif if (tty_fd && tcgetpgrp(tty_fd) == getpid()) { - - // This is so that when the terminal has been disconnected, it will be reconnected when possible. If it slows things down, just remove it - // tty_init(); - + + // This is so that when the terminal has been disconnected, it will be + // reconnected when possible. If it slows things down, just remove it + // tty_init(); + #ifdef __CYGWIN32__ FD_ZERO(&set); FD_SET(tty_fd, &set); tv.tv_sec = 0; tv.tv_usec = 0;