Add REPL sockets
Merge pull request #946 from kotarou3/repl

Add REPL sockets