# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1611268613 -3600
# Node ID 09653d071a38fbba09a9be4d63d9ded9809dfbd8
# Parent  9518527e9aac3493aa584f8a198e560a1cc19e12
Return a send flexpage with order 0 where the receive size is found to be 0.

diff -r 9518527e9aac -r 09653d071a38 flexpage.cc
--- a/flexpage.cc	Thu Jan 21 00:05:50 2021 +0100
+++ b/flexpage.cc	Thu Jan 21 23:36:53 2021 +0100
@@ -99,6 +99,9 @@
     else
         receive_size = size;
 
+    if (!receive_size)
+        return SendFlexpage(base_addr, page_order(0));
+
     offset_t receive_page_offset = hot_spot % receive_size;
 
     while ((receive_size > PAGE_SIZE) && (receive_page_offset != page_offset))