From 8349a4cbeec56e4b497d98064ce51aba80c1f258 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