diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-27 10:39:59 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-27 10:39:59 -0700 |
| commit | 8047005cc508443d66bcd51d63764542d39047a4 (patch) | |
| tree | 7bcbec744faef7361973478abe1ac8f515c4b765 | |
| parent | 5f4ccccbe72c031383cc5e69b1546d372ed151f0 (diff) | |
| download | mu-8047005cc508443d66bcd51d63764542d39047a4.tar.gz | |
3601
Now we can just read a single character from the socket, and it isn't much slower either (maybe 10%).
| -rw-r--r-- | 092socket.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/092socket.mu b/092socket.mu index 803c6557..202f84a1 100644 --- a/092socket.mu +++ b/092socket.mu @@ -106,7 +106,7 @@ def receive-from-socket socket:num, sink:&:sink:char -> sink:&:sink:char, socket load-ingredients { +next-attempt - req:text, found?:bool, eof?:bool, error:num <- $read-from-socket socket, 4096/bytes + req:text, found?:bool, eof?:bool, error:num <- $read-from-socket socket, 1/byte break-if error { break-if found? |