[download] check 'PATH_INFO' exists in $_SERVER before accessing it
[download] check 'PATH_INFO' exists in $_SERVER before accessing it

Accessing an non-existent index in an array will cause PHP to generate a
warning.

GNOME/art-web