[hcoop/zz_old/portal.git] / apt.mlt

<% @header [("title", ["APT package installation requests"])];

val admin = Group.inGroupName "server";

if $"new" <> "" then
	val pkgs = String.tokens Char.isSpace ($"new");

	ref ok = true;
	ref infos = [];

	foreach pkg in pkgs do
		switch AptQuery.query pkg of
		  NONE =>
			ok := false;
			%><b>Error</b>: Unknown package "<% Web.html pkg %>."<br><%
		| SOME info =>
			if #installed info then
				ok := false;
				%><b>Error</b>: Package "<% pkg %>" is already installed!<br><%
			else
				infos := info :: infos
			end
		end
	end;

	if ok then %>
Are you sure these are the packages you wanted?<br><br>
<table>
<%		foreach info in infos do %>
	<tr> <td align="right"><a href="http://packages.debian.org/testing/<% #section info %>/<% #name info %>"><% #name info %></a></td>
		<td><% Web.html (#descr info) %></td> </tr>
<% end %>
	</table><br>
	<br>
	<b>Reason:</b> <blockquote><% Web.htmlNl ($"msg") %></blockquote><br>
	<a href="apt?req=<% foreach info in infos do %><% #name info %>+<% end %>&msg=<% Web.urlEncode ($"msg") %>">Yes, I want to request these packages.</a>

<%	end

elseif $"req" <> "" then
	val pkgs = String.tokens Char.isSpace ($"req");

	ref ok = true;

	foreach pkg in pkgs do
		switch AptQuery.query pkg of
		  NONE =>
			ok := false;
			%><b>Error</b>: Unknown package "<% Web.html pkg %>."<br><%
		| SOME info =>
			if #installed info then
				ok := false;
				%><b>Error</b>: Package "<% pkg %>" is already installed!<br><%
			end
		end
	end;

	if ok then
		val id = Apt.add (Init.getUserId(), $"req", $"msg");
		if not (Apt.notifyNew id) then
			%><h3>Error sending e-mail notification</h3><%
		end
		%><h3>Request added</h3><%
	end

elseif $"cmd" = "open" then
	%><h3>Open requests</h3>
	<a href="apt?cmd=list">List all requests</a><%

	foreach (name, req) in Apt.listOpen () do %>
<br><hr><br>
<table class="blanks">
<tr> <td>By:</td> <td colspan="2"><a href="user?id=<% #usr req %>"><% name %></a></td> </tr>
<tr> <td>Time:</td> <td colspan="2"><% #stamp req %></td> </tr>
<tr> <td>Packages:</td><%
	ref first = true;

	val pkgs = String.tokens Char.isSpace (#data req);

	foreach pkg in pkgs do
		if first then
			first := false
		else
			%></tr><tr> <td></td><%
		end;
		switch AptQuery.query pkg of
		  NONE =>
			%><td></td> <td><b>Error</b>: Unknown package "<% Web.html pkg %>."</td><%
		| SOME info =>
			%><td align="right"><a href="http://packages.debian.org/testing/<% #section info %>/<% #name info %>"><% #name info %></a></td>
			<td><% Web.html (#descr info) %></td><%
		end
	end %>
</tr>
<tr> <td>Reason:</td> <td colspan="2"><% Web.html (#msg req) %></td> </tr>
</table>

<% if admin then %>
	<br>
	<a href="apt?mod=<% #id req %>">[Modify]</a>
	<a href="apt?del=<% #id req %>">[Delete]</a><br>
	To install, run: <tt>apt-get install<% foreach pkg in pkgs do %>&nbsp;<% pkg %><% end %></tt>
<% end %>

<%	end

elseif $"cmd" = "list" then
	%><h3>All requests</h3><%

	foreach (name, req) in Apt.list () do %>
<br><hr><br>
<table class="blanks">
<tr> <td>By:</td> <td colspan="2"><a href="user?id=<% #usr req %>"><% name %></a></td> </tr>
<tr> <td>Time:</td> <td colspan="2"><% #stamp req %></td> </tr>
<tr> <td>Packages:</td><%
	ref first = true;

	val pkgs = String.tokens Char.isSpace (#data req);

	foreach pkg in pkgs do
		if first then
			first := false
		else
			%></tr><tr> <td></td><%
		end;
		switch AptQuery.query pkg of
		  NONE =>
			%><td></td> <td><b>Error</b>: Unknown package "<% Web.html pkg %>."</td><%
		| SOME info =>
			%><td align="right"><a href="http://packages.debian.org/testing/<% #section info %>/<% #name info %>"><% #name info %></a></td>
			<td><% Web.html (#descr info) %></td><%
		end
	end %>
</tr>
<tr> <td>Reason:</td> <td colspan="2"><% Web.html (#msg req) %></td> </tr>
</table>

<% if admin then %>
	<br>
	<a href="apt?mod=<% #id req %>">[Modify]</a>
	<a href="apt?del=<% #id req %>">[Delete]</a>
<% end %>

<%	end

elseif $"mod" <> "" then
	Group.requireGroupName "server";
	val id = Web.stoi ($"mod");
	val req = Apt.lookup id;
	val user = Init.lookupUser (#usr req) %>
<h3>Handle request</h3>

<form action="apt" method="post">
<input type="hidden" name="save" value="<% id %>">
<table class="blanks">
<tr> <td>Requestor:</td> <td><a href="user?id=<% #usr req %>"><% #name user %></a></td> </tr>
<tr> <td>Time:</td> <td><% #stamp req %></td> </tr>
<tr> <td>Status:</td> <td><select name="status">
	<option value="0"<% if #status req = Apt.NEW then %> selected<% end %>>New</option>
	<option value="1"<% if #status req = Apt.INSTALLED then %> selected<% end %>>Installed</option>
	<option value="2"<% if #status req = Apt.REJECTED then %> selected<% end %>>Rejected</option>
</select></td> </tr>
<tr> <td>Packages:</td> <td><textarea name="pkgs" rows="5" cols="40" wrap="soft"><% Web.html (#data req) %></textarea></td> </tr>
<tr> <td>Message:</td> <td><textarea name="msg" rows="10" cols="80" wrap="soft"><% Web.html (#msg req) %></textarea></td> </tr>
<tr> <td><input type="submit" value="Save"></td> </tr>
</table>
</form>

<% elseif $"save" <> "" then
	Group.requireGroupName "server";
	val id = Web.stoi ($"save");
	val req = Apt.lookup id;
	val oldStatus = #status req;
	val newStatus = Apt.statusFromInt (Web.stoi ($"status"));
	Apt.modify {req with data = $"pkgs", msg = $"msg", status = newStatus};
	if oldStatus <> newStatus then
		if not (Apt.notifyMod (oldStatus, newStatus, Init.getUserName(), id)) then
			%><h3>Error sending e-mail notification</h3><%
		end
	end
	%><h3>Request modified</h3>
	Back to: <a href="apt?cmd=open">open requests</a>, <a href="apt?cmd=list">all requests</a>

<% elseif $"del" <> "" then
	Group.requireGroupName "server";
	val id = Web.stoi ($"del");
	val req = Apt.lookup id;
	val user = Init.lookupUser (#usr req)
	%><h3>Are you sure you want to delete request by <% #name user %> for <tt><% #data req %></tt>?</h3>
	<a href="apt?del2=<% id %>">Yes, I'm sure!</a>

<% elseif $"del2" <> "" then
	Group.requireGroupName "server";
	val id = Web.stoi ($"del2");
	Apt.delete id
	%><h3>Request deleted</b><h3>
	Back to: <a href="apt?cmd=open">open requests</a>, <a href="apt?cmd=list">all requests</a>

<% else %>

<h3>Request new installations</h3>

List the package names you'd like, separated by any whitespace characters.

<form action="apt" method="post">
<table class="blanks">
<tr> <td>Packages:</td> <td><textarea name="new" rows="10" cols="40" wrap="soft"></textarea></td> </tr>
<tr> <td>Reason:</td> <td><textarea name="msg" rows="5" cols="80" wrap="soft"></textarea></td> </tr>
<tr> <td><input type="submit" value="Request"></td> </tr>
</table>
</form>

<% end %>

<% @footer[] %>
Commit	Line	Data
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><%
36d5f176	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;
36d5f176	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;
36d5f176	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>
1fe415e0	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;
36d5f176	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
36d5f176	177	if not (Apt.notifyMod (oldStatus, newStatus, Init.getUserName(), id)) then
1fe415e0	178	%><h3>Error sending e-mail notification</h3><%
36d5f176	179	end
36d5f176	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[] %>