From 3d959c703c6eb95fef01b72b8a924610a2baefda Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Fri, 11 Aug 2023 20:54:20 +0200
Subject: [PATCH] Add dash to id prefixes

---
 src/id.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/id.rs b/src/id.rs
index d9b5f2f..754aaad 100644
--- a/src/id.rs
+++ b/src/id.rs
@@ -10,9 +10,9 @@ fn random_id(prefix: &str, length: usize) -> String {
 }
 
 pub fn random_worker_token() -> String {
-    random_id("t", 30)
+    random_id("t-", 30)
 }
 
 pub fn random_worker_secret() -> String {
-    random_id("s", 30)
+    random_id("s-", 30)
 }