kustomzone / plush

Plush is a browser-based shell or terminal.
Apache License 2.0
0 stars 0 forks source link

some interactive commands do not play well with Plush's FD management #13

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Running ghci or plush -d parse causes really bad/wrong things to happen with  
stdin/out/err.
Some output ends up on the console that launched plush - and in some instances 
no input is accepted.

This probably has to do with how we are shuffling stdin/stdout, and perhaps 
because we are not correctly marking FDs for close on exec. It might also have 
to do with warp running in the same process.

Original issue reported on code.google.com by mark.len...@gmail.com on 19 Nov 2012 at 4:07

GoogleCodeExporter commented 9 years ago
fixed in commit fdf65ab

Original comment by m...@glyphic.com on 26 Jan 2013 at 6:52