int N_servers = 0

Definition at line 105 of file webDid.c.

Referenced by check_browser_changes(), prepareJSONHeader(), prepareJSONSmiTree(), prepareJSONTree(), and update_servers().