search

ghedipunk / PHP-Websockets

A Websockets server written in PHP.
BSD 3-Clause "New" or "Revised" License
913 stars 376 forks source link

socket resource doesn't get freed #10

Closed blondie101010 closed 9 years ago

blondie101010 commented 9 years ago

I'll probably look into it further but even adding a socket_close() command doesn't free it.

blondie101010 commented 9 years ago

After further verifications, the script does as intended. What I observed comes from the PHP engine itself, reproduced with fopen() / fclose() calls.