1.1 --- a/dstest_pipe_server.cc Wed Mar 24 23:44:53 2021 +0100
1.2 +++ b/dstest_pipe_server.cc Thu Mar 25 01:42:50 2021 +0100
1.3 @@ -24,22 +24,19 @@
1.4 #include <stdio.h>
1.5
1.6 #include "memory.h"
1.7 -#include "pages_conserving.h"
1.8 #include "pipe_opener_resource.h"
1.9 #include "resource_server.h"
1.10
1.11
1.12
1.13 const unsigned int MEMORY_PAGES = 20;
1.14 -const unsigned int PIPE_PAGES = 2;
1.15
1.16 int main(void)
1.17 {
1.18 /* Some memory plus infrastructure. */
1.19
1.20 Memory mem(MEMORY_PAGES);
1.21 - PagesConserving pages(&mem, PIPE_PAGES);
1.22 - PipeOpenerResource opener(&pages);
1.23 + PipeOpenerResource opener;
1.24
1.25 /* Register a server associating it with the given object. */
1.26