# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1647817487 -3600
# Node ID 97444af9c7516093d74e2c4c6dd8a25e18aea1fb
# Parent  9eb56e5f2691297cb59531e1b3af7ba58428e50b
Permit unlimited pipe memory usage by default.

diff -r 9eb56e5f2691 -r 97444af9c751 servers/pipe_server.cc
--- a/servers/pipe_server.cc	Sun Mar 20 00:17:21 2022 +0100
+++ b/servers/pipe_server.cc	Mon Mar 21 00:04:47 2022 +0100
@@ -32,12 +32,6 @@
 
 
 
-/* Default number of pages for pipes. */
-
-const unsigned int MEMORY_PAGES = 20;
-
-
-
 /* Server program. */
 
 int main(int argc, char *argv[])
@@ -54,15 +48,21 @@
     return 1;
   }
 
-  unsigned int memory_pages = MEMORY_PAGES;
+  unsigned int memory_pages = 0;
 
   if (argc > 1)
     memory_pages = atoi(argv[1]);
 
   /* Some memory plus infrastructure. */
 
-  MemoryIncremental mem(memory_pages);
-  PipeOpenerResource opener(&mem);
+  Memory *mem = NULL;
+
+  if (memory_pages)
+    mem = new MemoryIncremental(memory_pages);
+  else
+    mem = new MemoryIncremental();
+
+  PipeOpenerResource opener(mem);
 
   /* Register a server associating it with the given object. */