Closed ollide closed 3 years ago
The CLI's info command currently takes almost twice as long as necessary, because the header is parsed two times.
info
I aimed for a fix with minimal changes. If there's anything missing, please let me know.
This should work, thanks! This command was created before get_header() existed.
get_header()
The CLI's
info
command currently takes almost twice as long as necessary, because the header is parsed two times.I aimed for a fix with minimal changes. If there's anything missing, please let me know.