mirror of
https://github.com/php/php-src.git
synced 2025-08-20 09:24:05 +02:00
Set 'defaultuser' if 'USER' env not found
This commit is contained in:
parent
219624293b
commit
3f27a08b66
1 changed files with 3 additions and 1 deletions
|
@ -66,7 +66,9 @@ function make_makefile_in()
|
||||||
die("Could not create Makefile.in in current directory.\n");
|
die("Could not create Makefile.in in current directory.\n");
|
||||||
}
|
}
|
||||||
|
|
||||||
$who = getenv("USER");
|
if(!$user=getenv('USER')){
|
||||||
|
$user='defaultuser';
|
||||||
|
}
|
||||||
$when = gmdate('Y-m-d h:i');
|
$when = gmdate('Y-m-d h:i');
|
||||||
fwrite($wp, "# This file was generated by `pearize' by $who at $when GMT\n\n");
|
fwrite($wp, "# This file was generated by `pearize' by $who at $when GMT\n\n");
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue