I must be missing a command somewhere. For the moment, I won't worry about it, but I'll give this a try again next time I want to start a server. I can see how it could be an effective way to deliver a server pack, and I've not used curl all that much amazingly.
Thanks for clarifying this, however.