diff options
| author | pboutill | 2011-04-08 16:25:34 +0000 |
|---|---|---|
| committer | pboutill | 2011-04-08 16:25:34 +0000 |
| commit | 640f1fd1911a254b49c7c310f1d4af702bfb0890 (patch) | |
| tree | d88f126177075a82fa96cc46b91c51fe19079546 /scripts | |
| parent | ae6c56036f05b10b8ec728f474f4fe04ba90c752 (diff) | |
coqide shutdown process change (and out the main function)
It now checks for 5 sec every 0.1 sec if is there is still running coqtop
then it asks the user if he wants to leave zombies or cancel quit.
(Cancel quit was continue to wait).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13973 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions