110111112113114115116117118119120
if (graph.hasAttribute("ui.viewClosed")) { loop = false; } else { //sleep(1000); layout.compute(); findCommunities(graph, 1.3); } } System.exit(0);