Provide core dumping support for AVFS

2011-12-08 10:47:11 +00:00
parent 5acd97c7e0
commit 0a61519eea
12 changed files with 457 additions and 96 deletions
--- a/servers/avfs/write.c
+++ b/servers/avfs/write.c
@@ -15,5 +15,5 @@
 PUBLIC int do_write()
 {
 /* Perform the write(fd, buffer, nbytes) system call. */
-  return(read_write(WRITING));
+  return(do_read_write(WRITING));
 }