HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e6bfb3) | patch
portal: Use readLine and not getPass when stdin is not a terminal
authorClinton Ebadi <clinton@unknownlamer.org>
Mon, 6 Oct 2014 03:14:25 +0000 (23:14 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Mon, 6 Oct 2014 03:14:25 +0000 (23:14 -0400)
commitf391f15cc33046d202754ea8c104f04729e4a79e
treee7c80ff57c6cd9d794f8ab474583034a5ca9e317tree | snapshot (tar.gz zip)
parent0e6bfb3cba2e80bf14ca59c14ef57c35d138d892commit | diff
portal: Use readLine and not getPass when stdin is not a terminal

It is way harder than neccessary to make the portal call
domtool-portal when it spews output. Just assume input produced via a
pipe is from a program that knows what it is doing.
src/main-portal.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.