Merge pull request #10580 from Putnam3145/craft-log

Craft logging
2020-01-18 17:47:31 +01:00
parent bbe5b0e281 5ace1df9af
commit 07b3bac674
7 changed files with 15 additions and 0 deletions
@@ -120,6 +120,10 @@
 	if (CONFIG_GET(flag/log_vote))
 		WRITE_LOG(GLOB.world_game_log, "VOTE: [text]")

+/proc/log_craft(text)
+	if (CONFIG_GET(flag/log_craft))
+		WRITE_LOG(GLOB.world_crafting_log, "CRAFT: [text]")
+
 /proc/log_topic(text)
 	WRITE_LOG(GLOB.world_game_log, "TOPIC: [text]")