- changed status to resolved
Piping to idp does not work
Issue #110
resolved
input on stdinput is not read by idp
Comments (2)
-
reporter -
reporter - removed milestone
Removing milestone: Second Release (automated comment)
- Log in to comment
fixes
#110Reading from stdin behavior has been changed. Instead of an option, it is now on iff no inputfiles were given and we are not running interactively.
→ 0af5b566f32b