write $SERVER only if string is non-epmty

the problem is that $SERVER is almost always empty, see #118 for more info about this bug
faiproject · May 23, 2023 · 120b39a · 120b39a
1 parent 0c9a086
commit 120b39a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/get-boot-info b/lib/get-boot-info
@@ -86,9 +86,11 @@ setnet() {
 	IPADDR=$IPADDR
 	CIDR=$CIDR
 	GATEWAYS=$GATEWAYS
-	SERVER=$SERVER
 EOF
     fi
+    if [ -n "$SERVER" ]; then
+	echo "SERVER=$SERVER" >> $bootlog
+    fi
 
     if [ -n "$DOMAIN" ]; then
         # DOMAIN was specified on the kernel command line