Fixing deploy and version for clippy.

diff --git a/docker/dev/deploy.sh b/docker/dev/deploy.sh
index c9d52215a58e41ffac7ac19e73d08fc3fa321cda..8a709dcd95e90970666308790f64965eb58673aa 100755 (executable)
--- a/docker/dev/deploy.sh
+++ b/docker/dev/deploy.sh
@@ -12,7 +12,7 @@ cd ../../
 echo "export let version: string = '$(git describe --tags)';" > "ui/src/version.ts"
 git add "ui/src/version.ts"
 # Setting the version on the backend
-echo "pub const VERSION: &'static str = \"$(git describe --tags)\";" > "server/src/version.rs"
+echo "pub const VERSION: &str = \"$(git describe --tags)\";" > "server/src/version.rs"
 git add "server/src/version.rs"
 
 cd docker/dev

diff --git a/server/src/version.rs b/server/src/version.rs
index ed582e6f1b8c9be26d62a72f843db3ad81f74d12..9bddd86b3086f4c2467fbbf9badf8b642643d848 100644 (file)
--- a/server/src/version.rs
+++ b/server/src/version.rs
@@ -1 +1 @@
-pub const VERSION: &'static str = "v0.5.13";
+pub const VERSION: &str = "v0.5.13";