# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1561648492 -7200
# Node ID b8c22853fb343b4e3b7a5e84f9ded540108e14b4
# Parent  8f9f39eaacf9cea9b9eb4148ea5626c7dc4857f6
Use the message-related function to discard dataspaces.

diff -r 8f9f39eaacf9 -r b8c22853fb34 server/src/main.cc
--- a/server/src/main.cc	Thu Jun 27 16:48:48 2019 +0200
+++ b/server/src/main.cc	Thu Jun 27 17:14:52 2019 +0200
@@ -37,7 +37,6 @@
 #include <fsclient/fsdesc.h>
 #include <fsclient/fs_ipc.h>
 #include <fsserver/server.h>
-#include <ipc/util_ipc.h>
 #include <ipc/server.h>
 #include "fspath.h"
 
@@ -144,7 +143,7 @@
 
     /* Free the capability and buffer from this task. */
 
-    discard_dataspace(ds, (l4_addr_t) buffer);
+    ipc_message_discard_dataspace(msg, ds, (l4_addr_t) buffer);
 
     /* Return the file size. */
 
@@ -190,7 +189,7 @@
 
     /* Free the capability and buffer from this task. */
 
-    discard_dataspace(ds, (l4_addr_t) buffer);
+    ipc_message_discard_dataspace(msg, ds, (l4_addr_t) buffer);
   }
 
   /* Non-exported methods. */