fixing eof handling in shell (#14)

shell/headers/shell_io.h

@@ -2,4 +2,4 @@
 
 #define MAXLENGTH 100
 
-void read_line(char dest[]);
+int read_line(char dest[]);

shell/headers/shell_sec.h

@@ -9,7 +9,7 @@ void setUser(char* username);
 
 void askPassword();
 
-void checkLogin();
+int checkLogin();
 
 char* getPassword();
 

shell/sources/shell_io.c

@@ -1,12 +1,16 @@
 #include "../headers/shell_io.h"
 #include <stdio.h>
 
-void read_line(char dest[]) {
+int read_line(char dest[]) {
     char buff[MAXLENGTH + 1];
 
-    fgets(buff, MAXLENGTH, stdin);
+    if (fgets(buff, MAXLENGTH, stdin) == NULL) {
+		return 0;
+	}
 
     if (sscanf(buff, "%[^\n]", dest) != 1) {
 		dest = "";
     }
+
+	return 1;
 }

shell/sources/shell_sec.c

@@ -58,12 +58,14 @@ void askPassword() {
     login.password[i] = 0;
 }
 
-void checkLogin() {
+int checkLogin() {
 
     if (login.user == NULL || strlen(login.user) < 1) {
         printf("We need a user: ");
         char dest[MAXLENGTH];
-        read_line(dest);
+        if (!read_line(dest)) {
+			return 0;
+		}
         setUser(dest);
     }
     if (!pgpass) {
@@ -73,6 +75,8 @@ void checkLogin() {
             printf("\n");
         }
     }
+
+	return 1;
 }
 
 char* getPassword() {

shell/sources/shell_shell.c

@@ -60,13 +60,17 @@ void parseSet(char* input) {
 int shell() {
 
     debug("shell init");
-    checkLogin();
+    if (!checkLogin()) {
+		return 1;
+	}
 
     char input[MAXLENGTH];
     for (;;) {
         printf("%s>", getUser());
 
-        read_line(input);
+        if (!read_line(input)) {
+			break;
+		}
 
         if (sequals(input, "exit")) {
             debug("shut down");