ip.mlt

   1 <% @header [("title", ["IP address requests"])];
   2
   3 val admin = Group.inGroupName "server";
   4
   5 val nodeNum = case $"node" of
   6                   "" => 2
   7                 | node => Web.stoi node;
   8
   9 if $"new" <> "" then
  10         val port = Web.stoi ($"port");
  11         val msg = $"msg";
  12
  13         %>Are you sure you want to ask for an IP address with port <% port %> free on machine <% Init.nodeName nodeNum %>?<br><br>
  14         <a href="ip?node=<% nodeNum %>&req=<% port %>&msg=<% Web.urlEncode msg %>">Yes, I want to request that.</a>
  15
  16 <% elseif $"req" <> "" then
  17         val id = Ip.add {usr = Init.getUserId (), node = nodeNum, data = $"req", msg = $"msg"};
  18         if not (Ip.notifyNew id) then
  19                 %><h3>Error sending e-mail notification</h3><%
  20         end
  21         %><h3>Request added</h3><%
  22
  23 elseif $"cmd" = "open" then
  24         %><h3>Open requests</h3>
  25         <a href="ip?cmd=list">List all requests</a><%
  26
  27         foreach (name, req) in Ip.listOpen () do %>
  28 <br><hr><br>
  29 <table class="blanks">
  30 <tr> <td>By:</td> <td><a href="user?id=<% #usr req %>"><% name %></a></td> </tr>
  31 <tr> <td>Time:</td> <td><% #stamp req %> (<% Util.diffFromNow (#stamp req) %> ago)</td> </tr>
  32 <tr> <td>Node:</td> <td><% Web.html (Init.nodeName (#node req)) %></td> </tr>
  33 <tr> <td>Port:</td> <td><% #data req %></td> </tr>
  34 <tr> <td>Reason:</td> <td><% Web.html (#msg req) %></td> </tr>
  35 </table>
  36
  37 <% if admin then %>
  38         <br>
  39         <a href="ip?mod=<% #id req %>">[Modify]</a>
  40         <a href="ip?del=<% #id req %>">[Delete]</a><br>
  41         To install: <ol>
  42            <li> Choose a new IP address <tt>69.90.123.<i>NNN</i></tt> from those available.</li>
  43            <li> Add new entry to <tt>/etc/network/interfaces</tt> on mire, where <tt><i>N</i></tt> is some incremented number.
  44 <blockquote><pre>auto eth0:N
  45 iface eth0:N inet static
  46         address 69.90.123.NNN
  47         netmask 255.255.255.224
  48         network 69.90.123.64
  49 </pre></blockquote></li>
  50            <li> Edit <tt>/etc/apache2/ports.conf</tt> and add the following lines:
  51 <blockquote><pre>Listen 69.90.123.NNN:80
  52 Listen 69.90.123.NNN:443</pre></blockquote></li>
  53            <li> Run <tt>ifup eth0:<i>N</i></tt>.
  54            <li> Restart Apache with <tt>/etc/init.d/apache2 restart</tt>.</li>
  55         </ol>
  56 <% end %>
  57
  58 <%      end
  59
  60 elseif $"cmd" = "list" then
  61         %><h3>All requests</h3><%
  62
  63         foreach (name, req) in Ip.list () do %>
  64 <br><hr><br>
  65 <table class="blanks">
  66 <tr> <td>By:</td> <td><a href="user?id=<% #usr req %>"><% name %></a></td> </tr>
  67 <tr> <td>Time:</td> <td><% #stamp req %> (<% Util.diffFromNow (#stamp req) %> ago)</td> </tr>
  68 <tr> <td>Node:</td> <td><% Web.html (Init.nodeName (#node req)) %></td> </tr>
  69 <tr> <td>Port:</td> <td><% #data req %></td> </tr>
  70 <tr> <td>Reason:</td> <td><% Web.html (#msg req) %></td> </tr>
  71 </table>
  72
  73 <% if admin then %>
  74         <br>
  75         <a href="ip?mod=<% #id req %>">[Modify]</a>
  76         <a href="ip?del=<% #id req %>">[Delete]</a>
  77 <% end %>
  78
  79 <%      end
  80
  81 elseif $"mod" <> "" then
  82         Group.requireGroupName "server";
  83         val id = Web.stoi ($"mod");
  84         val req = Ip.lookup id;
  85         val user = Init.lookupUser (#usr req) %>
  86 <h3>Handle request</h3>
  87
  88 <form method="post">
  89 <input type="hidden" name="save" value="<% id %>">
  90 <table class="blanks">
  91 <tr> <td>Requestor:</td> <td><a href="user?id=<% #usr req %>"><% #name user %></a></td> </tr>
  92 <tr> <td>Time:</td> <td><% #stamp req %> (<% Util.diffFromNow (#stamp req) %> ago)</td> </tr>
  93 <tr> <td>Node:</td> <td><select name="node">
  94 <% foreach node in Init.listNodes () do %>
  95         <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>
  96 <% end %>
  97 </select>
  98 <tr> <td>Status:</td> <td><select name="status">
  99         <option value="0"<% if #status req = Ip.NEW then %> selected<% end %>>New</option>
 100         <option value="1"<% if #status req = Ip.INSTALLED then %> selected<% end %>>Installed</option>
 101         <option value="2"<% if #status req = Ip.REJECTED then %> selected<% end %>>Rejected</option>
 102 </select></td> </tr>
 103 <tr> <td>Port:</td> <td><input name="port" size="6" value="<% Web.html (#data req) %>"></td> </tr>
 104 <tr> <td>Message:</td> <td><textarea name="msg" rows="10" cols="80" wrap="soft"><% Web.html (#msg req) %></textarea></td> </tr>
 105 <tr> <td><input type="submit" value="Save"></td> </tr>
 106 </table>
 107 </form>
 108
 109 <% elseif $"save" <> "" then
 110         Group.requireGroupName "server";
 111         val id = Web.stoi ($"save");
 112         val node = Web.stoi ($"node");
 113         val req = Ip.lookup id;
 114         val oldStatus = #status req;
 115         val newStatus = Ip.statusFromInt (Web.stoi ($"status"));
 116         Ip.modify {req with node = node, data = $"port", msg = $"msg", status = newStatus};
 117         if not (Ip.notifyMod {old = oldStatus, new = newStatus, changer = Init.getUserName(), req = id}) then
 118                 %><h3>Error sending e-mail notification</h3><%
 119         end
 120         %><h3>Request modified</h3>
 121         Back to: <a href="ip?cmd=open">open requests</a>, <a href="ip?cmd=list">all requests</a>
 122
 123 <% elseif $"del" <> "" then
 124         Group.requireGroupName "server";
 125         val id = Web.stoi ($"del");
 126         val req = Ip.lookup id;
 127         val user = Init.lookupUser (#usr req)
 128         %><h3>Are you sure you want to delete request by <% #name user %> for <tt><% #data req %></tt>?</h3>
 129         <a href="ip?del2=<% id %>">Yes, I'm sure!</a>
 130
 131 <% elseif $"del2" <> "" then
 132         Group.requireGroupName "server";
 133         val id = Web.stoi ($"del2");
 134         Ip.delete id
 135         %><h3>Request deleted</b><h3>
 136         Back to: <a href="ip?cmd=open">open requests</a>, <a href="ip?cmd=list">all requests</a>
 137
 138 <% else %>
 139
 140 <h3>Request an IP address</h3>
 141
 142 <p>Use this form to request use of a particular port.  If your request is granted, you will be assigned rights to your port on a particular IP address.  The most common use of this form is to ask for an IP address to use with an SSL virtual web host.  We will grant requests in very few other cases.  Try to use free ports on the base IP address of one of the machines on which we grant member log-in.</p>
 143
 144 <form method="post">
 145 <input type="hidden" name="new" value="1">
 146 <table class="blanks">
 147 <tr> <td>Machine:</td> <td><select name="node">
 148 <% foreach node in Init.listNodes () do %>
 149         <option value="<% #id node %>"<% if #id node = nodeNum then %> selected<% end %>><% Web.html (#name node) %> (<% Web.html (#descr node) %>; Debian <% Web.html (#debian node) %>)</option>
 150 <% end %>
 151 </select></td></tr>
 152 <tr> <td>Port#:</td> <td><input name="port" size="6" value="443"></td> </tr>
 153 <tr> <td>Reason:</td> <td><textarea name="msg" rows="5" cols="80" wrap="soft"></textarea></td> </tr>
 154 <tr> <td><input type="submit" value="Request"></td> </tr>
 155 </table>
 156 </form>
 157
 158 <% end %>
 159
 160 <% @footer[] %>