src/main.c

changeset 193
d1420f5c5704
parent 192
e57e2874fb2a
child 194
619f07c95894
equal deleted inserted replaced
192:e57e2874fb2a 193:d1420f5c5704
1036 refresh(); 1036 refresh();
1037 } 1037 }
1038 1038
1039 static int server_fd = -1; 1039 static int server_fd = -1;
1040 static void interrupt_listen(int sig) { 1040 static void interrupt_listen(int sig) {
1041 (void)sig; /* unused */
1041 if (server_fd > -1) { 1042 if (server_fd > -1) {
1042 // this interrupts 1043 // this interrupts
1043 close(server_fd); 1044 close(server_fd);
1044 } 1045 }
1045 } 1046 }

mercurial