36d5f176 |
1 | <% @header [("title", ["APT package installation requests"])]; |
2 | |
3 | val admin = Group.inGroupName "server"; |
4 | |
5 | if $"new" <> "" then |
6 | val pkgs = String.tokens Char.isSpace ($"new"); |
7 | |
8 | ref ok = true; |
9 | ref infos = []; |
10 | |
11 | foreach pkg in pkgs do |
12 | switch AptQuery.query pkg of |
13 | NONE => |
14 | ok := false; |
15 | %><b>Error</b>: Unknown package "<% Web.html pkg %>."<br><% |
16 | | SOME info => |
17 | if #installed info then |
18 | ok := false; |
19 | %><b>Error</b>: Package "<% pkg %>" is already installed!<br><% |
20 | else |
21 | infos := info :: infos |
22 | end |
23 | end |
24 | end; |
25 | |
26 | if ok then %> |
27 | Are you sure these are the packages you wanted?<br><br> |
28 | <table> |
29 | <% foreach info in infos do %> |
30 | <tr> <td align="right"><a href="http://packages.debian.org/testing/<% #section info %>/<% #name info %>"><% #name info %></a></td> |
31 | <td><% Web.html (#descr info) %></td> </tr> |
32 | <% end %> |
33 | </table><br> |
34 | <br> |
35 | <b>Reason:</b> <blockquote><% Web.htmlNl ($"msg") %></blockquote><br> |
36 | <a href="apt?req=<% foreach info in infos do %><% #name info %>+<% end %>&msg=<% Web.urlEncode ($"msg") %>">Yes, I want to request these packages.</a> |
37 | |
38 | <% end |
39 | |
40 | elseif $"req" <> "" then |
41 | val pkgs = String.tokens Char.isSpace ($"req"); |
42 | |
43 | ref ok = true; |
44 | |
45 | foreach pkg in pkgs do |
46 | switch AptQuery.query pkg of |
47 | NONE => |
48 | ok := false; |
49 | %><b>Error</b>: Unknown package "<% Web.html pkg %>."<br><% |
50 | | SOME info => |
51 | if #installed info then |
52 | ok := false; |
53 | %><b>Error</b>: Package "<% pkg %>" is already installed!<br><% |
54 | end |
55 | end |
56 | end; |
57 | |
58 | if ok then |
ff2b7604 |
59 | val id = Apt.add (Init.getUserId(), $"req", $"msg"); |
36d5f176 |
60 | if not (Apt.notifyNew id) then |
1fe415e0 |
61 | %><h3>Error sending e-mail notification</h3><% |
36d5f176 |
62 | end |
1fe415e0 |
63 | %><h3>Request added</h3><% |
36d5f176 |
64 | end |
65 | |
66 | elseif $"cmd" = "open" then |
1fe415e0 |
67 | %><h3>Open requests</h3> |
36d5f176 |
68 | <a href="apt?cmd=list">List all requests</a><% |
69 | |
ff2b7604 |
70 | foreach (name, req) in Apt.listOpen () do %> |
36d5f176 |
71 | <br><hr><br> |
1fe415e0 |
72 | <table class="blanks"> |
73 | <tr> <td>By:</td> <td colspan="2"><a href="user?id=<% #usr req %>"><% name %></a></td> </tr> |
74 | <tr> <td>Time:</td> <td colspan="2"><% #stamp req %></td> </tr> |
75 | <tr> <td>Packages:</td><% |
36d5f176 |
76 | ref first = true; |
77 | |
ff2b7604 |
78 | val pkgs = String.tokens Char.isSpace (#data req); |
36d5f176 |
79 | |
80 | foreach pkg in pkgs do |
81 | if first then |
82 | first := false |
83 | else |
84 | %></tr><tr> <td></td><% |
85 | end; |
86 | switch AptQuery.query pkg of |
87 | NONE => |
88 | %><td></td> <td><b>Error</b>: Unknown package "<% Web.html pkg %>."</td><% |
89 | | SOME info => |
90 | %><td align="right"><a href="http://packages.debian.org/testing/<% #section info %>/<% #name info %>"><% #name info %></a></td> |
91 | <td><% Web.html (#descr info) %></td><% |
92 | end |
93 | end %> |
94 | </tr> |
1fe415e0 |
95 | <tr> <td>Reason:</td> <td colspan="2"><% Web.html (#msg req) %></td> </tr> |
36d5f176 |
96 | </table> |
97 | |
98 | <% if admin then %> |
99 | <br> |
100 | <a href="apt?mod=<% #id req %>">[Modify]</a> |
101 | <a href="apt?del=<% #id req %>">[Delete]</a><br> |
102 | To install, run: <tt>apt-get install<% foreach pkg in pkgs do %> <% pkg %><% end %></tt> |
103 | <% end %> |
104 | |
105 | <% end |
106 | |
107 | elseif $"cmd" = "list" then |
1fe415e0 |
108 | %><h3>All requests</h3><% |
36d5f176 |
109 | |
ff2b7604 |
110 | foreach (name, req) in Apt.list () do %> |
36d5f176 |
111 | <br><hr><br> |
1fe415e0 |
112 | <table class="blanks"> |
113 | <tr> <td>By:</td> <td colspan="2"><a href="user?id=<% #usr req %>"><% name %></a></td> </tr> |
114 | <tr> <td>Time:</td> <td colspan="2"><% #stamp req %></td> </tr> |
115 | <tr> <td>Packages:</td><% |
36d5f176 |
116 | ref first = true; |
117 | |
ff2b7604 |
118 | val pkgs = String.tokens Char.isSpace (#data req); |
36d5f176 |
119 | |
120 | foreach pkg in pkgs do |
121 | if first then |
122 | first := false |
123 | else |
124 | %></tr><tr> <td></td><% |
125 | end; |
126 | switch AptQuery.query pkg of |
127 | NONE => |
128 | %><td></td> <td><b>Error</b>: Unknown package "<% Web.html pkg %>."</td><% |
129 | | SOME info => |
130 | %><td align="right"><a href="http://packages.debian.org/testing/<% #section info %>/<% #name info %>"><% #name info %></a></td> |
131 | <td><% Web.html (#descr info) %></td><% |
132 | end |
133 | end %> |
134 | </tr> |
1fe415e0 |
135 | <tr> <td>Reason:</td> <td colspan="2"><% Web.html (#msg req) %></td> </tr> |
36d5f176 |
136 | </table> |
137 | |
138 | <% if admin then %> |
139 | <br> |
140 | <a href="apt?mod=<% #id req %>">[Modify]</a> |
141 | <a href="apt?del=<% #id req %>">[Delete]</a> |
142 | <% end %> |
143 | |
144 | <% end |
145 | |
146 | elseif $"mod" <> "" then |
147 | Group.requireGroupName "server"; |
148 | val id = Web.stoi ($"mod"); |
ff2b7604 |
149 | val req = Apt.lookup id; |
36d5f176 |
150 | val user = Init.lookupUser (#usr req) %> |
1fe415e0 |
151 | <h3>Handle request</h3> |
36d5f176 |
152 | |
add44c00 |
153 | <form action="apt" method="post"> |
36d5f176 |
154 | <input type="hidden" name="save" value="<% id %>"> |
1fe415e0 |
155 | <table class="blanks"> |
156 | <tr> <td>Requestor:</td> <td><a href="user?id=<% #usr req %>"><% #name user %></a></td> </tr> |
157 | <tr> <td>Time:</td> <td><% #stamp req %></td> </tr> |
158 | <tr> <td>Status:</td> <td><select name="status"> |
36d5f176 |
159 | <option value="0"<% if #status req = Apt.NEW then %> selected<% end %>>New</option> |
160 | <option value="1"<% if #status req = Apt.INSTALLED then %> selected<% end %>>Installed</option> |
161 | <option value="2"<% if #status req = Apt.REJECTED then %> selected<% end %>>Rejected</option> |
162 | </select></td> </tr> |
1fe415e0 |
163 | <tr> <td>Packages:</td> <td><textarea name="pkgs" rows="5" cols="40" wrap="soft"><% Web.html (#data req) %></textarea></td> </tr> |
164 | <tr> <td>Message:</td> <td><textarea name="msg" rows="10" cols="80" wrap="soft"><% Web.html (#msg req) %></textarea></td> </tr> |
36d5f176 |
165 | <tr> <td><input type="submit" value="Save"></td> </tr> |
166 | </table> |
167 | </form> |
168 | |
169 | <% elseif $"save" <> "" then |
170 | Group.requireGroupName "server"; |
171 | val id = Web.stoi ($"save"); |
ff2b7604 |
172 | val req = Apt.lookup id; |
36d5f176 |
173 | val oldStatus = #status req; |
174 | val newStatus = Apt.statusFromInt (Web.stoi ($"status")); |
ff2b7604 |
175 | Apt.modify {req with data = $"pkgs", msg = $"msg", status = newStatus}; |
36d5f176 |
176 | if oldStatus <> newStatus then |
177 | if not (Apt.notifyMod (oldStatus, newStatus, Init.getUserName(), id)) then |
1fe415e0 |
178 | %><h3>Error sending e-mail notification</h3><% |
36d5f176 |
179 | end |
180 | end |
1fe415e0 |
181 | %><h3>Request modified</h3> |
36d5f176 |
182 | Back to: <a href="apt?cmd=open">open requests</a>, <a href="apt?cmd=list">all requests</a> |
183 | |
184 | <% elseif $"del" <> "" then |
185 | Group.requireGroupName "server"; |
186 | val id = Web.stoi ($"del"); |
ff2b7604 |
187 | val req = Apt.lookup id; |
36d5f176 |
188 | val user = Init.lookupUser (#usr req) |
1fe415e0 |
189 | %><h3>Are you sure you want to delete request by <% #name user %> for <tt><% #data req %></tt>?</h3> |
36d5f176 |
190 | <a href="apt?del2=<% id %>">Yes, I'm sure!</a> |
191 | |
192 | <% elseif $"del2" <> "" then |
193 | Group.requireGroupName "server"; |
194 | val id = Web.stoi ($"del2"); |
ff2b7604 |
195 | Apt.delete id |
1fe415e0 |
196 | %><h3>Request deleted</b><h3> |
36d5f176 |
197 | Back to: <a href="apt?cmd=open">open requests</a>, <a href="apt?cmd=list">all requests</a> |
198 | |
199 | <% else %> |
200 | |
1fe415e0 |
201 | <h3>Request new installations</h3> |
36d5f176 |
202 | |
203 | List the package names you'd like, separated by any whitespace characters. |
204 | |
add44c00 |
205 | <form action="apt" method="post"> |
1fe415e0 |
206 | <table class="blanks"> |
207 | <tr> <td>Packages:</td> <td><textarea name="new" rows="10" cols="40" wrap="soft"></textarea></td> </tr> |
208 | <tr> <td>Reason:</td> <td><textarea name="msg" rows="5" cols="80" wrap="soft"></textarea></td> </tr> |
36d5f176 |
209 | <tr> <td><input type="submit" value="Request"></td> </tr> |
210 | </table> |
211 | </form> |
212 | |
213 | <% end %> |
214 | |
215 | <% @footer[] %> |