Don't cache /dev/ram blocks

diff --git a/servers/fs/cache.c b/servers/fs/cache.c
index 6f9f401b2b622f73379c706c3d1fd0980d67e946..61b4a73d9c79d829c5314da135c0ae9f9bbc58bd 100644 (file)
--- a/servers/fs/cache.c
+++ b/servers/fs/cache.c
@@ -147,7 +147,7 @@ int block_type;                     /* INODE_BLOCK, DIRECTORY_BLOCK, or whatever */
    * it on the front of the LRU chain where it will be the first one to be
    * taken when a free buffer is needed later.
    */
-  if (block_type & ONE_SHOT) {
+  if (bp->b_dev == DEV_RAM || block_type & ONE_SHOT) {
        /* Block probably won't be needed quickly. Put it on front of chain.
         * It will be the next block to be evicted from the cache.
         */