playframework/Play20 — comment on commit 31504ffad2e304c3237664c478189565c2d5005f
File: play.bat line 45
By guillaumebort:

The problem is that `shift` doesn't work with `%*`. Enclosing the parameters with double quote should fix the problem, right?