<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Amusingly, I suddenly needed graceful timeout functionality as of this<br>morning, so cooked up a quick patch to add it.
<br><br>It&#39;s a small five liner and is attached - just specify the number of<br>seconds when issuing the graceful shutdown command.<br></blockquote></div><br>Thanks!&nbsp; This is now in trunk.&nbsp; :)<br><br><br>-- <br>Mark Smith / xb95
<br><a href="mailto:smitty@gmail.com">smitty@gmail.com</a>