Close ports in the "graceful exit" case as well as on exceptions.
This commit is contained in:
parent
3d0d2c38e9
commit
9437241481
|
@ -340,7 +340,8 @@
|
|||
(with-handlers ((exn? (lambda (e)
|
||||
(close-input-port in)
|
||||
(raise e))))
|
||||
(main-loop initial-crypto-configuration 0 0)))
|
||||
(main-loop initial-crypto-configuration 0 0)
|
||||
(close-input-port in)))
|
||||
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
;; Encrypted Packet Output
|
||||
|
@ -394,4 +395,5 @@
|
|||
(with-handlers ((exn? (lambda (e)
|
||||
(close-output-port out)
|
||||
(raise e))))
|
||||
(main-loop initial-crypto-configuration 0)))
|
||||
(main-loop initial-crypto-configuration 0)
|
||||
(close-output-port out)))
|
||||
|
|
Loading…
Reference in New Issue