Sybren A. Stüvel fa600d6fc9 Cleanup: rename mustHostname() to workerName()
The function determines the worker's name. The fact that it can use the
hostname for this isn't that relevant.
2022-07-19 12:03:08 +02:00
..
2022-07-16 15:59:48 +02:00
2022-06-16 12:08:13 +02:00