Advertisement
Guest User

Untitled

a guest
Jul 10th, 2018
74
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Nim 0.26 KB | None | 0 0
  1. ```
  2.   var eof = false
  3.   error("Reading chunk...")
  4.  
  5.   if stdin.endOfFile():  # <------- hangs here?
  6.     eof = true
  7.  
  8.   error(elf) . # <--- never logged
  9.   let header = stdin.readLine()
  10.   error("read header!")
  11. ```
  12. ^ this is basically the situation in a nutshell
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement