Robert Haas f7102b0463 Extend dsm API with a new function dsm_unpin_mapping.
This reassociates a dynamic shared memory handle previous passed to
dsm_pin_mapping with the current resource owner, so that it will be
cleaned up at the end of the current query.

Patch by me.  Review of the function name by Andres Freund, Amit
Kapila, Jim Nasby, Petr Jelinek, and Álvaro Herrera.
2014-10-30 14:55:23 -04:00
..
2014-10-29 19:41:19 -04:00
2014-08-09 00:07:00 -04:00
2014-10-05 23:23:50 -04:00
2014-06-28 21:46:15 +02:00
2014-10-29 19:41:19 -04:00
2014-10-26 09:47:01 -04:00