That's a REST API, so the crash would then be caused by the curl library. Thanks, I'll note that in the manual.