* Check whether a dpi server is running */
| 192 | * Check whether a dpi server is running |
| 193 | */ |
| 194 | static int server_is_running(char *server_id) |
| 195 | { |
| 196 | int i; |
| 197 | |
| 198 | /* Search in the set of running servers */ |
| 199 | for (i = 0; i < numdpis; i++) { |
| 200 | if (!dpi_attr_list[i].filter && dpi_attr_list[i].pid > 1 && |
| 201 | strcmp(dpi_attr_list[i].id, server_id) == 0) |
| 202 | return 1; |
| 203 | } |
| 204 | return 0; |
| 205 | } |
| 206 | |
| 207 | |
| 208 | /** |