Skip to content
This repository has been archived by the owner on Nov 24, 2023. It is now read-only.

worker: use random value as server-id if server-id is not set (#329) #337

Merged
merged 1 commit into from
Oct 28, 2019
Merged

worker: use random value as server-id if server-id is not set (#329) #337

merged 1 commit into from
Oct 28, 2019

Commits on Oct 28, 2019

  1. worker: use random value as server-id if server-id is not set (#329)

    @WangXiangUSTC
    WangXiangUSTC committed Oct 28, 2019
    Configuration menu
    Copy the full SHA
    bbaa085 View commit details
    Browse the repository at this point in the history