From f85974dc8aa26e01529166d63745293db7c02fc8 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 16 Oct 2008 22:49:48 +0000 Subject: [PATCH] Always make the scratch disk an even multiple of a cylinder in size. The pintos script tried to do so before but "print" and "syswrite" are buffered differently and interfere with one another. Thanks to Karan Misra for pointing out the problem and confirming the solution. --- src/utils/pintos | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/utils/pintos b/src/utils/pintos index d787035..fca610a 100755 --- a/src/utils/pintos +++ b/src/utils/pintos @@ -259,7 +259,8 @@ sub prepare_scratch_disk { foreach @puts; # Write end-of-archive marker. - print { $disks{SCRATCH}{HANDLE} } "\0" x 1024; + write_fully ($disks{SCRATCH}{HANDLE}, $disks{SCRATCH}{FILE_NAME}, + "\0" x 1024); } # Make sure the scratch disk is big enough to get big files. -- 2.30.2