X-Git-Url: http://git.hcoop.net/bpt/portal.git/blobdiff_plain/afc975d0463c554c5dd404851f151ba0e63c1353..b6dd1aafb4c9cddf89b06c2eeac1b5277046ad9f:/apt.mlt diff --git a/apt.mlt b/apt.mlt index 65c9d76..0679155 100644 --- a/apt.mlt +++ b/apt.mlt @@ -58,21 +58,21 @@ elseif $"req" <> "" then if ok then val id = Apt.add (Init.getUserId(), $"req", $"msg"); if not (Apt.notifyNew id) then - %>

Error sending e-mail notification

<% + %>

Error sending e-mail notification

<% end - %>

Request added

<% + %>

Request added

<% end elseif $"cmd" = "open" then - %>

Open requests

+ %>

Open requests

List all requests<% foreach (name, req) in Apt.listOpen () do %>


- - - -<% +
By: <% name %>
Time: <% #stamp req %>
Packages:
+ + +<% ref first = true; val pkgs = String.tokens Char.isSpace (#data req); @@ -92,7 +92,7 @@ elseif $"cmd" = "open" then end end %> - +
By: <% name %>
Time: <% #stamp req %>
Packages:
Reason: <% Web.html (#msg req) %>
Reason: <% Web.html (#msg req) %>
<% if admin then %> @@ -105,14 +105,14 @@ elseif $"cmd" = "open" then <% end elseif $"cmd" = "list" then - %>

All requests

<% + %>

All requests

<% foreach (name, req) in Apt.list () do %>


- - - -<% +
By: <% name %>
Time: <% #stamp req %>
Packages:
+ + +<% ref first = true; val pkgs = String.tokens Char.isSpace (#data req); @@ -132,7 +132,7 @@ elseif $"cmd" = "list" then end end %> - +
By: <% name %>
Time: <% #stamp req %>
Packages:
Reason: <% Web.html (#msg req) %>
Reason: <% Web.html (#msg req) %>
<% if admin then %> @@ -148,20 +148,20 @@ elseif $"mod" <> "" then val id = Web.stoi ($"mod"); val req = Apt.lookup id; val user = Init.lookupUser (#usr req) %> -

Handle request

+

Handle request

- - - -
Requestor: <% #name user %>
Time: <% #stamp req %>
Status: + + + - - + +
Requestor: <% #name user %>
Time: <% #stamp req %>
Status:
Packages:
Message:
Packages:
Message:
@@ -175,10 +175,10 @@ elseif $"mod" <> "" then Apt.modify {req with data = $"pkgs", msg = $"msg", status = newStatus}; if oldStatus <> newStatus then if not (Apt.notifyMod (oldStatus, newStatus, Init.getUserName(), id)) then - %>

Error sending e-mail notification

<% + %>

Error sending e-mail notification

<% end end - %>

Request modified

+ %>

Request modified

Back to: open requests, all requests <% elseif $"del" <> "" then @@ -186,26 +186,26 @@ elseif $"mod" <> "" then val id = Web.stoi ($"del"); val req = Apt.lookup id; val user = Init.lookupUser (#usr req) - %>

Are you sure you want to delete request by <% #name user %> for <% #data req %>?

+ %>

Are you sure you want to delete request by <% #name user %> for <% #data req %>?

Yes, I'm sure! <% elseif $"del2" <> "" then Group.requireGroupName "server"; val id = Web.stoi ($"del2"); Apt.delete id - %>

Request deleted

+ %>

Request deleted

Back to: open requests, all requests <% else %> -

Request new installations

+

Request new installations

List the package names you'd like, separated by any whitespace characters.
- - - +
Packages:
Reason:
+ +
Packages:
Reason: