search

JosephLenton / PHP-Error

Better error reporting for PHP, and prettier too!
1.35k stars 151 forks source link

server_name cannot be set via options #52

Closed markhalliwell closed 11 years ago

markhalliwell commented 11 years ago

Will attach a patch shortly.

JosephLenton commented 11 years ago

This is resolved.