Fix extra decref of shared_page
[akaros.git] / kern / src / readline.c
index 2df6369..32548a6 100644 (file)
@@ -1,7 +1,3 @@
-#ifdef __SHARC__
-#pragma nosharc
-#endif
-
 #include <error.h>
 #include <stdio.h>
 #include <assert.h>
@@ -24,7 +20,7 @@ int readline(char *buf, size_t buf_l, const char *prompt, ...)
        while (1) {
                c = getchar();
                if (c < 0) {
-                       printk("read error: %e\n", c);  /* %e! */
+                       printk("read error: %d\n", c);
                        retval = i;
                        break;
                } else if (c == '\b' || c == 0x7f) {