comparison src/VncViewer.java @ 12:a0e1da7ebd39

add html/VncViewer.java
author e085711
date Sat, 16 Apr 2011 22:24:26 +0900
parents 9c7eab50c708
children 745e0e1ff401
comparison
equal deleted inserted replaced
11:b7dbce3f35a3 12:a0e1da7ebd39
681 // param_name/param_value pairs where the names and values correspond to 681 // param_name/param_value pairs where the names and values correspond to
682 // those expected in the html applet tag source. 682 // those expected in the html applet tag source.
683 // 683 //
684 684
685 void readParameters() { 685 void readParameters() {
686 // host = readParameter("HOST", !inAnApplet); 686 // host = readParameter("HOST", !inAnApplet);
687 if (mainArgs.length > 0) 687 if (mainArgs.length > 0)
688 host = mainArgs[0]; 688 host = mainArgs[0];
689 else 689 else
690 host = "hades.cr.ie.u-ryukyu.ac.jp"; 690 host = "hades.cr.ie.u-ryukyu.ac.jp";
691 /* 691 /*
692 * if (host == null) { host = getCodeBase().getHost(); if 692 * if (host == null) { host = getCodeBase().getHost(); if
693 * (host.equals("")) { fatalError("HOST parameter not specified"); } } 693 * (host.equals("")) { fatalError("HOST parameter not specified"); } }
694 */ 694 */
695 695
696 // port = readIntParameter("PORT", 5900); 696 // port = readIntParameter("PORT", 5550);
697 if (mainArgs.length > 1) 697 if (mainArgs.length > 1)
698 port = Integer.parseInt(mainArgs[1]); 698 port = Integer.parseInt(mainArgs[1]);
699 else 699 else
700 port = 5550; 700 port = 5550;
701 // Read "ENCPASSWORD" or "PASSWORD" parameter if specified. 701 // Read "ENCPASSWORD" or "PASSWORD" parameter if specified.