Lines Matching defs:argv
50 public static void main(String argv[]) {
54 for (optind = 0; optind < argv.length; optind++) {
55 if (argv[optind].equals("-T")) { // protocol
56 protocol = argv[++optind];
57 } else if (argv[optind].equals("-H")) { // host
58 host = argv[++optind];
59 } else if (argv[optind].equals("-U")) { // user
60 user = argv[++optind];
61 } else if (argv[optind].equals("-P")) { // password
62 password = argv[++optind];
63 } else if (argv[optind].equals("-L")) {
64 url = argv[++optind];
65 } else if (argv[optind].equals("-s")) { // Source mbox
66 src = argv[++optind];
67 } else if (argv[optind].equals("-d")) { // Destination mbox
68 dest = argv[++optind];
69 } else if (argv[optind].equals("-x")) { // Expunge ?
71 } else if (argv[optind].equals("--")) {
74 } else if (argv[optind].startsWith("-")) {
89 if (optind < argv.length)
90 start = Integer.parseInt(argv[optind++]); // start msg
92 if (optind < argv.length)
93 end = Integer.parseInt(argv[optind++]); // end msg