Re: [vdr] [PATCH] vompserver-0.3.0 for VDR >= 1.7.3