From a94e92149c03772b110b60efc6cf2f1ee2cc45a6 Mon Sep 17 00:00:00 2001
From: Alexey Utkin <alexey.utkin@gmail.com>
Date: Thu, 29 Sep 2022 11:38:34 +0300
Subject: [PATCH] [BUG] Minor version of plugin and server is not properly set
 #471

---
 docker/building_dependencies/runtime_env.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docker/building_dependencies/runtime_env.sh b/docker/building_dependencies/runtime_env.sh
index 589fff0a5..508dda0f5 100644
--- a/docker/building_dependencies/runtime_env.sh
+++ b/docker/building_dependencies/runtime_env.sh
@@ -35,4 +35,7 @@ export LD_LIBRARY_PATH=$UTBOT_INSTALL_DIR/lib
 export LDFLAGS='-fuse-ld=gold'
 export PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:$UTBOT_ALL/bear/bin:$UTBOT_ALL/klee/bin:$UTBOT_INSTALL_DIR/bin:$PATH
 
-export VERSION=$(date '+%Y.%-m').0
+if [ -z "${VERSION}" ]
+then
+    export VERSION=$(date '+%Y.%-m').0
+fi
\ No newline at end of file