1 files changed, 48 insertions, 0 deletions
diff --git a/debian/patches/0008-fatfs-improve-enable-disable-_caching.patch b/debian/patches/0008-fatfs-improve-enable-disable-_caching.patch
new file mode 100644
index 00000000..5ec457af
--- /dev/null
+++ b/debian/patches/0008-fatfs-improve-enable-disable-_caching.patch
@@ -0,0 +1,48 @@
+From f7c6d4c90f6592340479f38662ba87ccfbee6025 Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Fri, 9 May 2014 10:11:45 +0200
+Subject: [PATCH 08/13] fatfs: improve {enable,disable}_caching
+
+* fatfs/pager.c (enable_caching, disable_caching): Iterate over the
+pager class instead of over both pager buckets.
+---
+ fatfs/pager.c | 9 +++++----
+ 1 file changed, 5 insertions(+), 4 deletions(-)
+
+diff --git a/fatfs/pager.c b/fatfs/pager.c
+index f855ecf..7aa5c5e 100644
+--- a/fatfs/pager.c
++++ b/fatfs/pager.c
+@@ -23,6 +23,9 @@
+ #include <hurd/store.h>
+ #include "fatfs.h"
+ 
++/* XXX */
++#include "../libpager/priv.h"
++
+ /* A ports bucket to hold disk pager ports.  */
+ struct port_bucket *disk_pager_bucket;
+ 
+@@ -963,8 +966,7 @@ disable_caching ()
+ 
+   /* Loop through the pagers and turn off caching one by one,
+      synchronously.  That should cause termination of each pager.  */
+-  ports_bucket_iterate (disk_pager_bucket, block_cache);
+-  ports_bucket_iterate (file_pager_bucket, block_cache);
++  ports_class_iterate (_pager_class, block_cache);
+ }
+ 	  
+ static void
+@@ -992,8 +994,7 @@ enable_caching ()
+       return 0;
+     }
+ 
+-  ports_bucket_iterate (disk_pager_bucket, enable_cache);
+-  ports_bucket_iterate (file_pager_bucket, enable_cache);
++  ports_class_iterate (_pager_class, enable_cache);
+ }
+ 	    
+ /* Tell diskfs if there are pagers exported, and if none, then
+-- 
+2.0.0.rc0
+