Index: polemy/repl.d
==================================================================
--- polemy/repl.d
+++ polemy/repl.d
@@ -11,10 +11,11 @@
 import polemy.runtime;
 import polemy.value;
 import polemy.valueconv;
 import std.stdio;
 import std.string;
+import std.cstream;
 
 enum VersionNoMajor = 0; /// Version Number
 enum VersionNoMinor = 1; /// Version Number
 enum VersionNoRev   = 0; /// Version Number
 
@@ -51,11 +52,11 @@
 	/// Read one line from stdin, and do some reaction
 	bool singleInteraction()
 	{
 		writef(">> ", lineno);
 		string line = readln();
-		if( line.startsWith("exit") || line.startsWith("quit") )
+		if( line.startsWith("exit") || line.startsWith("quit") || din.eof() )
 			return false;
 		try {
 			if( tryRun(line) )
 				writeln(lastVal);
 		} catch(Throwable e) {