resources/manage.gtl 1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> 2 <!-- Copyright 2017 Google Inc. --> 3 <html> 4 <head> 5 <title>Gruyere: Profile</title> 6 [[include:base.css]][[/include:base.css]] 7 </head> 8 9 <body> 10 [[include:menubar.gtl]][[/include:menubar.gtl]] 11 <h2>Gruyere: Manage the server</h2> 12 13 <div class='content'> 14 <form method='get' action='/{{_unique_id}}/editprofile.gtl'> 15 <p>Edit a user's profile: 16 <input type='text' name='uid'> 17 <input type='submit' value='Edit'> 18 </p> 19 </form> 20 <p><a href='/{{_unique_id}}/reset'>Reset the server</a></p> 21 <p><a href='/{{_unique_id}}/quitserver'>Quit the server</a></p> 22 </div> 23 </body> 24 25 </html>