1.1 --- a/pipe_pager.h Thu Mar 25 01:42:50 2021 +0100
1.2 +++ b/pipe_pager.h Fri Mar 26 00:03:30 2021 +0100
1.3 @@ -22,6 +22,8 @@
1.4 public:
1.5 explicit PipePager(PipePaging *paging, bool writer);
1.6
1.7 + virtual void close();
1.8 +
1.9 /* Server details. */
1.10
1.11 int expected_items();