Idea for on-demand syncing on iOS: need some guidance on implementing

[pixelspark (Tommy)]

Some progress:

Also I have implemented streaming of (ignored!) media files (through RequestGlobal). This is a bit involved, I set up a local HTTP server and then let the iOS media player play a URL from that. The media player will do range requests to the server, and the server will do range requests through RequestGlobal