From 6658968950dcf8f077a6bd9fb309c0aae352b2e0 Mon Sep 17 00:00:00 2001
From: gedetil <gedetil@cs.umanitoba.ca>
Date: Tue, 11 Apr 2017 12:21:39 -0500
Subject: [PATCH] Update settings.php

Implement "Halt system" button, next to "Restart system" button, on
admin/settings page.  Useful for doing clean shutdown before powering off.

Gilbert Detillieux <gedetil> 2017-04-11
---
 settings.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/settings.php b/settings.php
index d74069b4..1c66ca4c 100644
--- a/settings.php
+++ b/settings.php
@@ -838,10 +838,15 @@ if(isset($_POST["submit"])) {
 				<h3 class="box-title">System Administration</h3>
 			</div>
 			<div class="box-body">
+				<button type="button" class="btn btn-default confirm-halt">Halt system</button>
 				<button type="button" class="btn btn-default confirm-reboot">Restart system</button>
 				<button type="button" class="btn btn-default confirm-restartdns">Restart DNS server</button>
 				<button type="button" class="btn btn-default confirm-flushlogs">Flush logs</button>
 
+				<form role="form" method="post" id="haltform">
+					<input type="hidden" name="field" value="halt">
+					<input type="hidden" name="token" value="<?php echo $token ?>">
+				</form>
 				<form role="form" method="post" id="rebootform">
 					<input type="hidden" name="field" value="reboot">
 					<input type="hidden" name="token" value="<?php echo $token ?>">