1.1 --- a/server/src/main.cc Sat Jun 29 16:45:10 2019 +0200
1.2 +++ b/server/src/main.cc Sat Jun 29 17:56:01 2019 +0200
1.3 @@ -100,7 +100,7 @@
1.4
1.5 /* Obtain the dataspace and IRQ object. */
1.6
1.7 - err = fsdesc_import_dataspace(msg, 0, &desc.obj) || fsdesc_import_irq(msg, 1, &desc.obj);
1.8 + err = fsdesc_import_object(msg, 0, &desc.obj);
1.9 if (err)
1.10 {
1.11 ipc_message_send_error(msg, -L4_EIO);
1.12 @@ -136,9 +136,9 @@
1.13 return;
1.14 }
1.15
1.16 - /* Free the capability and buffer from this task. */
1.17 + /* Free the capabilities and buffer from this task. */
1.18
1.19 - ipc_message_discard_dataspace(msg, desc.obj.ds, (l4_addr_t) desc.obj.buffer);
1.20 + fsdesc_deallocate_object(&desc.obj);
1.21
1.22 /* Return the file size. */
1.23