From 7a49219106d68b07a6b4907489f9fd0b8d8b6a56 Mon Sep 17 00:00:00 2001
From: myin <minyin142p@gmail.com>
Date: Sat, 7 Oct 2023 17:51:04 +0200
Subject: [PATCH] Update Env.gd

---
 godot/addons/debug/Env.gd | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/godot/addons/debug/Env.gd b/godot/addons/debug/Env.gd
index a5df0cd..524d748 100644
--- a/godot/addons/debug/Env.gd
+++ b/godot/addons/debug/Env.gd
@@ -1,18 +1,20 @@
 extends Node
 
-const DEV_VERSION = "DEV"
-
-var version = DEV_VERSION
-
+var log_level = Logger.Level.DEBUG
+var version = "dev" : set = _set_version
+var _logger = Logger.new("Env")
 
 func _ready():
 	if is_prod():
-		version = Build.VERSION
+		log_level = Logger.Level.INFO
+	_logger.info("Running version %s on %s" % [version, OS.get_name()])
 
+func _set_version(v: String) -> void:
+	if v == "": return
+	version = v
 
 func is_prod() -> bool:
-	return version != DEV_VERSION
-
+	return version != "dev"
 
 func is_web() -> bool:
-	return OS.get_name() == "HTML5"
+	return OS.has_feature("web")