# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1615503020 -3600
# Node ID b38b7b330d730a3210f0f2b7ad51c875b13784e1
# Parent  59297f82abbc8da8b1c1b71a463de2c166a936b8
Delete the pager if a resource cannot be started.

diff -r 59297f82abbc -r b38b7b330d73 opener_context_resource.cc
--- a/opener_context_resource.cc	Thu Mar 11 23:49:04 2021 +0100
+++ b/opener_context_resource.cc	Thu Mar 11 23:50:20 2021 +0100
@@ -61,11 +61,17 @@
     ResourceServer server(pager);
     long err = server.start_thread();
 
-    /* Return the file size. */
-    /* Return the server capability to the caller. */
+    if (!err)
+    {
+        /* Return the file size. */
+        /* Return the server capability to the caller. */
 
-    *size = pager->get_data_size();
-    *file = server.config()->server;
+        *size = pager->get_data_size();
+        *file = server.config()->server;
+    }
+    else
+        delete pager;
+
     return err;
 }