Mercurial > hg > digilib-old

comparison client/digitallibrary/digilib.jsp @ 43:e918bd61084d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
opera support done, bugfixes
author luginbue
date Tue, 21 May 2002 02:29:41 +0200
parents 84a481a388bb
children 58d23f512c80
comparison
equal deleted inserted replaced
42:57874b52c2fc 43:e918bd61084d
18 18
19 19
20 // parsing the query 20 // parsing the query
21 // ----------------- 21 // -----------------
22 22
23 String query = ""; 23 String query = "dlImage.jsp?";
24 String token;
24 25
25 if (request.getQueryString() != null) { 26 if (request.getQueryString() != null) {
26 StringTokenizer tokenizer = new StringTokenizer(request.getQueryString(), "+"); 27 // have to enable the passing of delimiter to get empty parameters
28 StringTokenizer tokenizer = new StringTokenizer(request.getQueryString(), "+", true);
27 29
28 int numTokens = tokenizer.countTokens(); 30 // looks ugly but it works - hopefully...
29 31
30 if (numTokens >= 1) query += "fn=" + tokenizer.nextToken(); 32 if (tokenizer.hasMoreTokens()) {
31 if (numTokens >= 2) query += "&pn=" + tokenizer.nextToken(); 33 token = tokenizer.nextToken();
32 if (numTokens >= 3) query += "&ws=" + tokenizer.nextToken(); 34 if (token != "+") {
33 if (numTokens >= 4) query += "&mo=" + tokenizer.nextToken(); 35 query += "fn=" + token;
34 if (numTokens >= 5) query += "&mk=" + tokenizer.nextToken(); 36 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
35 if (numTokens >= 6) query += "&wx=" + tokenizer.nextToken(); 37 }
36 if (numTokens >= 7) query += "&wy=" + tokenizer.nextToken(); 38 }
37 if (numTokens >= 8) query += "&ww=" + tokenizer.nextToken(); 39 if (tokenizer.hasMoreTokens()) {
38 if (numTokens >= 9) query += "&wh=" + tokenizer.nextToken(); 40 token = tokenizer.nextToken();
41 if (token != "+") {
42 query += "&pn=" + token;
43 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
44 }
45 }
46 if (tokenizer.hasMoreTokens()) {
47 token = tokenizer.nextToken();
48 if (token != "+") {
49 query += "&ws=" + token;
50 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
51 }
52 }
53 if (tokenizer.hasMoreTokens()) {
54 token = tokenizer.nextToken();
55 if (!token.equals("+")) {
56 query += "&mo=" + token;
57 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
58 }
59 }
60 if (tokenizer.hasMoreTokens()) {
61 token = tokenizer.nextToken();
62 if (!token.equals("+")) {
63 query += "&mk=" + token;
64 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
65 }
66 }
67 if (tokenizer.hasMoreTokens()) {
68 token = tokenizer.nextToken();
69 if (token != "+") {
70 query += "&wx=" + token;
71 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
72 }
73 }
74 if (tokenizer.hasMoreTokens()) {
75 token = tokenizer.nextToken();
76 if (token != "+") {
77 query += "&wy=" + token;
78 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
79 }
80 }
81 if (tokenizer.hasMoreTokens()) {
82 token = tokenizer.nextToken();
83 if (token != "+") {
84 query += "&ww=" + token;
85 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
86 }
87 }
88 if (tokenizer.hasMoreTokens()) {
89 token = tokenizer.nextToken();
90 if (token != "+") {
91 query += "&wh=" + token;
92 if (tokenizer.hasMoreTokens()) tokenizer.nextToken();
93 }
94 }
39 95
40 // a module update for total number of pages 96 // a module update for total number of pages
41 query += "&pt=" + DB.getNumPages(request); 97 query += "&pt=" + DB.getNumPages(request);
42 } 98 }
43 %> 99 %>
44 100
45 <frameset cols="*,90" border="0"> 101 <frameset cols="*,90" border="0">
46 <frame name="mainFrame" src="dlImage.jsp?<%= query %>" scrolling="auto"> 102 <frame name="mainFrame" src="<%= query %>" scrolling="auto">
47 <frameset rows="20,*" border="0"> 103 <frameset rows="20,*" border="0">
48 <frame name="pageFrame" src="about:blank" scrolling="no" noresize> 104 <frame name="pageFrame" src="about:blank" scrolling="no" noresize>
49 <frame name="rightFrame" src="dlMenu.html" scrolling="no" noresize> 105 <frame name="rightFrame" src="dlMenu.html" scrolling="no" noresize>
50 </frameset> 106 </frameset>
51 </frameset> 107 </frameset>