disable spice-socket.patch

As we do not use that functionality currently.

diff --git a/debian/patches/modify-query-spice.patch b/debian/patches/modify-query-spice.patch
index 2f149ee2cd0590ae52829eabf6f3fe8113a1ad37..9c9a987704b6742e6bfdeeed6a0ba807e81b12d4 100644 (file)
--- a/debian/patches/modify-query-spice.patch
+++ b/debian/patches/modify-query-spice.patch
@@ -9,9 +9,9 @@ Limits: This only works for a single spice session.
 
 Index: new/ui/spice-core.c
 ===================================================================
---- new.orig/ui/spice-core.c   2013-07-23 07:58:22.000000000 +0200
-+++ new/ui/spice-core.c        2013-07-23 08:52:53.000000000 +0200
-@@ -541,6 +541,11 @@
+--- new.orig/ui/spice-core.c   2013-07-23 09:49:13.000000000 +0200
++++ new/ui/spice-core.c        2013-07-23 09:49:16.000000000 +0200
+@@ -536,6 +536,11 @@
               SPICE_SERVER_VERSION & 0xff);
      info->compiled_version = g_strdup(version_string);
  
@@ -25,8 +25,8 @@ Index: new/ui/spice-core.c
          info->port = port;
 Index: new/qapi-schema.json
 ===================================================================
---- new.orig/qapi-schema.json  2013-07-23 08:57:02.000000000 +0200
-+++ new/qapi-schema.json       2013-07-23 08:57:36.000000000 +0200
+--- new.orig/qapi-schema.json  2013-07-23 09:49:16.000000000 +0200
++++ new/qapi-schema.json       2013-07-23 09:49:16.000000000 +0200
 @@ -1088,11 +1088,14 @@
  #
  # @channels: a list of @SpiceChannel for each active spice channel

diff --git a/debian/patches/series b/debian/patches/series
index e2494d8347334af3f7c83fece70d1d08adc69d8d..864f957982acd700d6c4c53e48f39f6d476459dc 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -23,5 +23,5 @@ enable-kvm-by-default.patch
 virtio-balloon-fix-query.patch
 set-cpu-model-to-kvm64.patch
 modify-query-machines.patch
-spice-socket.patch
+#spice-socket.patch
 modify-query-spice.patch