Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Terminal does not close immediately on Windows #31

Closed
altavir opened this issue Oct 30, 2016 · 3 comments
Closed

Terminal does not close immediately on Windows #31

altavir opened this issue Oct 30, 2016 · 3 comments

Comments

@altavir
Copy link

altavir commented Oct 30, 2016 •
edited
Loading

When I invoke terminal.close() nothing happens. The jline thread terminates only on next line feed.

UPDATE
Specific to ExternalTerminal
@gnodet
Copy link
Member

gnodet commented Nov 3, 2016

Unfortunately, a call to InputStream.read() can not easily be interrupted. Maybe we could make the pump thread a daemon thread.

@gnodet
Copy link
Member

gnodet commented Apr 6, 2017

Is that fixed with #107 ?

@gnodet
Copy link
Member

gnodet commented Apr 6, 2017

Closing this issue, I believe this is fixed with #107. Please reopen if needed.

@gnodet gnodet closed this as completed Apr 6, 2017
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@gnodet @altavir