wlandau / crew

A distributed worker launcher
https://wlandau.github.io/crew/
Other
129 stars 4 forks source link

Use new developer interface in `mirai` #117

Closed shikokuchuo closed 1 year ago

shikokuchuo commented 1 year ago

Prework

Description

Some functions in crew manually access the internal package environment in mirai to retrieve dispatcher PID, URLs or the TLS certificate.

I have now exported an interface, which allows retrieving those much simpler. It will be more maintainable and less brittle to internal changes in mirai.

I have prepared a PR for you.

As the plan is for mirai to be released before crew, you will just need to update the dependency to the new CRAN version before your next release.