Revert a change made by mistake

diff --git a/html/user_admin.html.php3 b/html/user_admin.html.php3
index 35de6fffd7ea3402c0d551324cdc95ea51803fa0..a3f9e5af5869c0077c7fe7b143a2df911f387b4c 100644 (file)
--- a/html/user_admin.html.php3
+++ b/html/user_admin.html.php3
@@ -191,21 +191,6 @@ print <<<EOM
        </td><td>
        $descr
        </td></tr>
-EOM;
-if ($logged_now){
-       print <<<EOM
-       <form name="kill_sess" action=post>
-       <tr><td align=center bgcolor="#d0ddb0">
-       Clear Current Session
-       </td><td>
-       <input type=hidden name=clear_sess value="0">
-       <input type=submit class=button value="Clear Session" OnClick="this.form.clear_sess.value=1">
-       </form>
-       </td></tr>
-EOM;
-}
-
-print <<<EOM
        </table>
        </table>
 </table>