[gambit-list] Remote REPL

Christian Jaeger christian at pflanze.mine.nu
Wed Dec 5 08:44:16 EST 2007


Joel Borggrén-Franck wrote:
> IIRC, using bash, Ctrl-d doesn't generate a signal, just an EOF on stdin.

Yes. And you can reopen the console with console-port.

(define (test-ctl-d)
  (let lp-open ()
    (println "opening console port")
    (let ((port (console-port)))
      (let lp-line ()
	(let ((line (read-line port)))
	  (if (eof-object? line)
	      (lp-open)
	      (begin
		(println "line: " line)
		(lp-line))))))))


Christian.




More information about the Gambit-list mailing list