| 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 } |