From: Tay Ray Chuan Date: Sat, 06 Jun 2009 14:50:15 GMT Subject: Re: [WIP/RFC] Allow push and fetch urls to be different Message-ID: In-Reply-To: <1244299395-6605-1-git-send-email-git@drmicha.warpmail.net> Hi, On Sat, Jun 6, 2009 at 10:43 PM, Michael J Gruber wrote: > This is a working prototype, but I'd like to rfc about the approach before > coding further. Do I need to do anything in http-push.c? I don't think so. As long as you're "controlling" the url before it gets used (like you're doing now in builtin-push.c), you don't have to bother about http-push.c. -- Cheers, Ray Chuan