public void start() {
plug_in = new PlugIn();
plug_in.init();
scene_graph = new SceneGraph();
scene_graph.init();
www_conn = new WWWConnection();
www_conn.init();
update_users();
set_dynamic_usr();
// if(hostsrv != null) user_interface.printInfo(hostsrv);
// user_interface.addInfo(http_port);
}
public void stop() {
System.err.println("\nStop !!!\n");
if (www_conn != null) www_conn.disconnect();
www_conn = null;
}
public void get_last_wrl() {
www_conn.send_msg("GET /get_last_wrl HTTP/1.0\r\n\r\n");
// user_interface.addInfo("\n Getting the last wrl !!!");
}
public void send_get_req(String req) {
www_conn.send_msg("GET " + req + " HTTP/1.0\r\n\r\n");
}
