From: Ben Pfaff Date: Thu, 16 Oct 2008 22:49:48 +0000 (+0000) Subject: Always make the scratch disk an even multiple of a cylinder in size. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f85974dc8aa26e01529166d63745293db7c02fc8;p=pintos-anon 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. --- 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.