$_SERVER['argv'] may not be set.

E.g. from the browser.