1 <% @header [("title", ["APT package installation requests"])];
3 val admin = Group.inGroupName "server";
6 val node = Web.stoi ($"node");
7 val pkgs = String.tokens Char.isSpace ($"new");
12 foreach pkg in pkgs do
13 switch AptQuery.query {node = node, pkg = pkg} of
16 %><b>Error</b>: Unknown package "<% Web.html pkg %>."<br><%
18 if #installed info then
20 %><b>Error</b>: Package "<% pkg %>" is already installed!<br><%
22 infos := info :: infos
28 val debian = Init.nodeDebian node %>
29 Are you sure these are the packages you wanted?<br><br>
31 <% foreach info in infos do %>
32 <tr> <td align="right"><a href="http://packages.debian.org/<% debian %>/<% #section info %>/<% #name info %>"><% #name info %></a></td>
33 <td><% Web.html (#descr info) %></td> </tr>
37 <b>Reason:</b> <blockquote><% Web.htmlNl ($"msg") %></blockquote><br>
38 <a href="apt?node=<% node %>&req=<% foreach info in infos do %><% #name info %>+<% end %>&msg=<% Web.urlEncode ($"msg") %>">Yes, I want to request these packages.</a>
42 elseif $"req" <> "" then
43 val node = Web.stoi ($"node");
44 val pkgs = String.tokens Char.isSpace ($"req");
48 foreach pkg in pkgs do
49 switch AptQuery.query {node = node, pkg = pkg} of
52 %><b>Error</b>: Unknown package "<% Web.html pkg %>."<br><%
54 if #installed info then
56 %><b>Error</b>: Package "<% pkg %>" is already installed!<br><%
62 val id = Apt.add {usr = Init.getUserId(), node = node, data = $"req", msg = $"msg"};
63 if not (Apt.notifyNew id) then
64 %><h3>Error sending e-mail notification</h3><%
66 %><h3>Request added</h3><%
69 elseif $"cmd" = "open" then
70 %><h3>Open requests</h3>
71 <a href="apt?cmd=list">List all requests</a><%
73 foreach (name, req) in Apt.listOpen () do %>
75 <table class="blanks">
76 <tr> <td>By:</td> <td colspan="2"><a href="user?id=<% #usr req %>"><% name %></a></td> </tr>
77 <tr> <td>Time:</td> <td colspan="2"><% #stamp req %></td> </tr>
78 <tr> <td>Node:</td> <td colspan="2"><% Web.html (Init.nodeName (#node req)) %></td> </tr>
79 <tr> <td>Packages:</td><%
82 val pkgs = String.tokens Char.isSpace (#data req);
83 val debian = Init.nodeDebian (#node req);
85 foreach pkg in pkgs do
89 %></tr><tr> <td></td><%
91 switch AptQuery.query {node = #node req, pkg = pkg} of
93 %><td></td> <td><b>Error</b>: Unknown package "<% Web.html pkg %>."</td><%
95 %><td align="right"><a href="http://packages.debian.org/<% debian %>/<% #section info %>/<% #name info %>"><% #name info %></a></td>
96 <td><% Web.html (#descr info) %></td><%
100 <tr> <td>Reason:</td> <td colspan="2"><% Web.html (#msg req) %></td> </tr>
105 <a href="apt?mod=<% #id req %>">[Modify]</a>
106 <a href="apt?del=<% #id req %>">[Delete]</a><br>
107 To install, run: <tt>apt-get install<% foreach pkg in pkgs do %> <% pkg %><% end %></tt>
112 elseif $"cmd" = "list" then
113 %><h3>All requests</h3><%
115 foreach (name, req) in Apt.list () do %>
117 <table class="blanks">
118 <tr> <td>By:</td> <td colspan="2"><a href="user?id=<% #usr req %>"><% name %></a></td> </tr>
119 <tr> <td>Time:</td> <td colspan="2"><% #stamp req %></td> </tr>
120 <tr> <td>Node:</td> <td colspan="2"><% Web.html (Init.nodeName (#node req)) %></td> </tr>
121 <tr> <td>Packages:</td><%
124 val pkgs = String.tokens Char.isSpace (#data req);
125 val debian = Init.nodeDebian (#node req);
127 foreach pkg in pkgs do
131 %></tr><tr> <td></td><%
133 switch AptQuery.query {node = #node req, pkg = pkg} of
135 %><td></td> <td><b>Error</b>: Unknown package "<% Web.html pkg %>."</td><%
137 %><td align="right"><a href="http://packages.debian.org/<% debian %>/<% #section info %>/<% #name info %>"><% #name info %></a></td>
138 <td><% Web.html (#descr info) %></td><%
142 <tr> <td>Reason:</td> <td colspan="2"><% Web.html (#msg req) %></td> </tr>
147 <a href="apt?mod=<% #id req %>">[Modify]</a>
148 <a href="apt?del=<% #id req %>">[Delete]</a>
153 elseif $"mod" <> "" then
154 Group.requireGroupName "server";
155 val id = Web.stoi ($"mod");
156 val req = Apt.lookup id;
157 val user = Init.lookupUser (#usr req) %>
158 <h3>Handle request</h3>
160 <form action="apt" method="post">
161 <input type="hidden" name="save" value="<% id %>">
162 <table class="blanks">
163 <tr> <td>Requestor:</td> <td><a href="user?id=<% #usr req %>"><% #name user %></a></td> </tr>
164 <tr> <td>Time:</td> <td><% #stamp req %></td> </tr>
165 <tr> <td>Node:</td> <td><select name="node">
166 <% foreach node in Init.listNodes () do %>
167 <option value="<% #id node %>"<% if #id node = #node req then %> selected<% end %>><% Web.html (#name node) %> (<% Web.html (#descr node) %>; Debian <% Web.html (#debian node) %>)</option>
170 <tr> <td>Status:</td> <td><select name="status">
171 <option value="0"<% if #status req = Apt.NEW then %> selected<% end %>>New</option>
172 <option value="1"<% if #status req = Apt.INSTALLED then %> selected<% end %>>Installed</option>
173 <option value="2"<% if #status req = Apt.REJECTED then %> selected<% end %>>Rejected</option>
175 <tr> <td>Packages:</td> <td><textarea name="pkgs" rows="5" cols="40" wrap="soft"><% Web.html (#data req) %></textarea></td> </tr>
176 <tr> <td>Message:</td> <td><textarea name="msg" rows="10" cols="80" wrap="soft"><% Web.html (#msg req) %></textarea></td> </tr>
177 <tr> <td><input type="submit" value="Save"></td> </tr>
181 <% elseif $"save" <> "" then
182 Group.requireGroupName "server";
183 val id = Web.stoi ($"save");
184 val node = Web.stoi ($"node");
185 val req = Apt.lookup id;
186 val oldStatus = #status req;
187 val newStatus = Apt.statusFromInt (Web.stoi ($"status"));
188 Apt.modify {req with node = node, data = $"pkgs", msg = $"msg", status = newStatus};
189 if oldStatus <> newStatus then
190 if not (Apt.notifyMod {old = oldStatus, new = newStatus, changer = Init.getUserName(), req = id}) then
191 %><h3>Error sending e-mail notification</h3><%
194 %><h3>Request modified</h3>
195 Back to: <a href="apt?cmd=open">open requests</a>, <a href="apt?cmd=list">all requests</a>
197 <% elseif $"del" <> "" then
198 Group.requireGroupName "server";
199 val id = Web.stoi ($"del");
200 val req = Apt.lookup id;
201 val user = Init.lookupUser (#usr req)
202 %><h3>Are you sure you want to delete request by <% #name user %> for <tt><% #data req %></tt>?</h3>
203 <a href="apt?del2=<% id %>">Yes, I'm sure!</a>
205 <% elseif $"del2" <> "" then
206 Group.requireGroupName "server";
207 val id = Web.stoi ($"del2");
209 %><h3>Request deleted</b><h3>
210 Back to: <a href="apt?cmd=open">open requests</a>, <a href="apt?cmd=list">all requests</a>
214 <h3>Request new installations</h3>
216 List the package names you'd like, separated by any whitespace characters.
218 <form action="apt" method="post">
219 <table class="blanks">
220 <tr> <td>Machine:</td> <td><select name="node">
221 <% foreach node in Init.listNodes () do %>
222 <option value="<% #id node %>"><% Web.html (#name node) %> (<% Web.html (#descr node) %>; Debian <% Web.html (#debian node) %>)</option>
225 <tr> <td>Packages:</td> <td><textarea name="new" rows="10" cols="40" wrap="soft"></textarea></td> </tr>
226 <tr> <td>Reason:</td> <td><textarea name="msg" rows="5" cols="80" wrap="soft"></textarea></td> </tr>
227 <tr> <td><input type="submit" value="Request"></td> </tr>