Use read_stdin_line() for selections from a pipe.
commit38e721a74a30bad0885a0edbdd35f0e6378fe475
authorTeemu Murtola <teemu.murtola@cbr.su.se>
Wed, 16 Dec 2009 10:50:47 +0000 (16 11:50 +0100)
committerTeemu Murtola <teemu.murtola@cbr.su.se>
Wed, 16 Dec 2009 10:50:47 +0000 (16 11:50 +0100)
tree596f17df58732c284ba654f2c252b3e627f17236
parent367ea815102d68d601d05bc10aa958823f188ad1
Use read_stdin_line() for selections from a pipe.

This makes it possible to log all selection input from stdin within this
single function (necessary for history).
src/gmxlib/selection/parsetree.c
src/gmxlib/selection/scanner_internal.c
src/gmxlib/selection/scanner_internal.h