308c92f203
This is necessary because a resource can be re-created with the same id. If we don't use the internal id, the newer recreated resource can be deleted. |
||
---|---|---|
.. | ||
assets | ||
config | ||
console@104c82a0ab | ||
controllers | ||
views | ||
workers | ||
cli.php | ||
http.php | ||
init.php | ||
preload.php | ||
realtime.php | ||
worker.php |