diff --git a/src/userprog/syscall.c b/src/userprog/syscall.c index 6027de2..1dbe73b 100644 --- a/src/userprog/syscall.c +++ b/src/userprog/syscall.c @@ -161,19 +161,19 @@ syscall_read (int fd, void *buffer, unsigned size) validate_user_pointer (buffer, size); if (fd == STDIN_FILENO) - { - /* Reading from the console. */ - char *write_buffer = buffer; - for (int i = 0; i < size; i++) - write_buffer[i] = input_getc (); + { + /* Reading from the console. */ + char *write_buffer = buffer; + for (int i = 0; i < size; i++) + write_buffer[i] = input_getc (); - return size; - } + return size; + } else - { - /* Reading from a file. */ - return 0; // TODO: Implement Write to Files - } + { + /* Reading from a file. */ + return 0; // TODO: Implement Write to Files + } } static int @@ -231,4 +231,4 @@ validate_user_pointer (const void *ptr, size_t size) thread_exit (); return ptr; -} \ No newline at end of file +}