gemor mirror and priority

[Pete French]

> I'll try it and report after the weekend :)

It should be OK - we ran it here on the main database server until
a couple of months ago, which I went back to using vanilla 7.1 in an attempt to
try and track down a bug. I will probably continue to use the patch in
future though - it's very stable, and very useful if you haave some
kind of "homemade clustering" solution with a local and remote drive.

-pete.