Little bit sort for linear logic.

Fix #81
2021-10-10 23:40:41 +03:00 · 2021-10-10 23:40:41 +03:00 · 5c1393b5d1
commit 5c1393b5d1
parent 55e3c9e1a4
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -666,11 +666,11 @@ function vm_boot() {

    # Reference: https://gitlab.gnome.org/GNOME/phodav/-/issues/5
    if [ "${guest_os}" != "macos" ] && [ -n "${PUBLIC}" ]; then
+      WEBDAV=" -chardev spiceport,id=webdav0,name=org.spice-space.webdav.0
+       -device virtserialport,chardev=webdav0,name=org.spice-space.webdav.0"
      if [ "${OUTPUT}" == "none" ]; then
        echo -n " --spice-shared-dir ${PUBLIC}"
      fi
-      WEBDAV=" -chardev spiceport,id=webdav0,name=org.spice-space.webdav.0
-       -device virtserialport,chardev=webdav0,name=org.spice-space.webdav.0"
      echo " - WebDAV:   On guest: dav://localhost:9843/"
    fi
  fi