Marcel Moolenaar e928473555 Fix previous commit: the resource returned by rman_reserve_resource()
can be NULL. Make sure to only call rman_set_rid() when the resource
is not NULL. While here, improve readability and style.
2006-05-02 23:27:15 +00:00
..
2006-04-22 22:51:32 +00:00
2006-04-27 22:09:18 +00:00
2006-04-12 12:17:29 +00:00
2006-04-13 19:37:32 +00:00
2006-04-28 04:39:50 +00:00