fix a sudden scheduler death while racing with the repserver ;)
authorAdrian Schröter <adrian@suse.de>
Fri, 12 Feb 2010 10:53:06 +0000 (11:53 +0100)
committerAdrian Schröter <adrian@suse.de>
Fri, 12 Feb 2010 10:53:57 +0000 (11:53 +0100)
commitb7bd0128417d1abbe46b579d3da75706996f5a8e
tree072c8e7b4f5abc9eb1fb61c30ca41c62bafe4b58
parent855d034d2be04006adf63b2b4fa41740b5b30e0d
fix a sudden scheduler death while racing with the repserver ;)
src/backend/bs_sched