diff --git a/server/plugins-available/shelluser_base_plugin.inc.php b/server/plugins-available/shelluser_base_plugin.inc.php
index 393e6f0eaca7338a28cfe5894f3b23b0acd3be08..0593b475b8680b9f553ac64232cc7202694f8e33 100755
--- a/server/plugins-available/shelluser_base_plugin.inc.php
+++ b/server/plugins-available/shelluser_base_plugin.inc.php
@@ -625,12 +625,6 @@ fi
 			$used_os_type = 'unknown';
 		}
 
-		if (isset($os_type['version'])) {
-			$os_version = $os_type['version'];
-		} else {
-			$os_version = 'unknown';
-		}
-
 		if($used_os_type == "debian" || $used_os_type == "ubuntu") {
 			$tpl->newTemplate("bashrc_user_deb.master");
 		} elseif($used_os_type == "redhat") {