equal
deleted
inserted
replaced
3 @@ -1493,7 +1493,7 @@ |
3 @@ -1493,7 +1493,7 @@ |
4 :type '(choice string (const nil)) |
4 :type '(choice string (const nil)) |
5 :group 'proof-shell) |
5 :group 'proof-shell) |
6 |
6 |
7 -(defcustom proof-shell-quit-timeout 4 |
7 -(defcustom proof-shell-quit-timeout 4 |
8 +(defcustom proof-shell-quit-timeout 12 |
8 +(defcustom proof-shell-quit-timeout 45 |
9 ;; FIXME could add option to quiz user before rude kill. |
9 ;; FIXME could add option to quiz user before rude kill. |
10 "The number of seconds to wait after sending proof-shell-quit-cmd. |
10 "The number of seconds to wait after sending proof-shell-quit-cmd. |
11 After this timeout, the proof shell will be killed off more rudely. |
11 After this timeout, the proof shell will be killed off more rudely. |