public void getPopulation() { try { population.Value = DBTool.getPopulation().ToString(); } catch (Exception ex) { print("网络连接中断!"); Application.Exit(); } }