From 68bd19dca1ece17bf336377b0e3553614a20a256 Mon Sep 17 00:00:00 2001
From: Mark <alnyan@airmail.cc>
Date: Mon, 13 Jul 2020 17:43:44 +0300
Subject: [PATCH] Exit by ^D on empty line

---
 src/readline.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/readline.c b/src/readline.c
index e51e8e9..bb97511 100644
--- a/src/readline.c
+++ b/src/readline.c
@@ -120,6 +120,13 @@ int readline(char *buf, size_t lim) {
             break;
         }
 
+        if (chr == 4) {
+            if (len == 0) {
+                fputs("exit\n", stderr);
+                goto err;
+            }
+        }
+
         if (chr == '\n') {
             fputc(chr, stdout);
             buf[len] = 0;