BIND 10 #330: zonemgr exception on SIGINT

[BIND 10 Development]

#330: zonemgr exception on SIGINT
--------------------------------+-------------------------------------------
  Reporter:  jreed              |            Owner:     
      Type:  defect             |           Status:  new
  Priority:  major              |        Milestone:     
 Component:  secondary manager  |         Keywords:     
 Sensitive:  0                  |   Estimatedhours:  0  
     Hours:  0                  |         Billable:  1  
Totalhours:  0                  |         Internal:  0  
--------------------------------+-------------------------------------------
 I pressed CTRL-C to kill BIND 10:

 {{{
 ^C[bind10] Received SIGINT.
 [bind10] Stopping the server.
 Exception in thread Thread-1:
 Traceback (most recent call last):
   File "/home/reed/opt/bind10/libexec/bind10-devel/b10-zonemgr", line 351,
 in run_timer
     (rlist, wlist, xlist) = select.select([self._socket], [], [], timeout)
 select.error: (9, 'Bad file descriptor')

 During handling of the above exception, another exception occurred:

 Traceback (most recent call last):
   File "/usr/pkg/lib/python3.1/threading.py", line 509, in
 _bootstrap_inner
     self.run()
   File "/usr/pkg/lib/python3.1/threading.py", line 462, in run
     self._target(*self._args, **self._kwargs)
   File "/home/reed/opt/bind10/libexec/bind10-devel/b10-zonemgr", line 361,
 in run_timer
     raise ZonemgrException("[b10-zonemgr] Error with select(): %s\n" % e)
 ZonemgrException: [b10-zonemgr] Error with select(): (9, 'Bad file
 descriptor')

 }}}

-- 
Ticket URL: <http://bind10.isc.org/ticket/330>
BIND 10 Development <http://bind10.isc.org>
BIND 10 Development