Xamarin Public Jenkins (auto-signing) 95fdb59ea6 Imported Upstream version 6.6.0.89
Former-commit-id: b39a328747c2f3414dc52e009fb6f0aa80ca2492
2019-09-24 08:53:40 +00:00

104 lines
2.7 KiB
C#

//
// MdocFile.cs: File utility methods
//
// Author:
// Jonathan Pryor <jpryor@novell.com>
//
// Copyright (c) 2010 Novell, Inc. (http://www.novell.com)
//
// Permission is hereby granted, free of charge, to any person obtaining
// a copy of this software and associated documentation files (the
// "Software"), to deal in the Software without restriction, including
// without limitation the rights to use, copy, modify, merge, publish,
// distribute, sublicense, and/or sell copies of the Software, and to
// permit persons to whom the Software is furnished to do so, subject to
// the following conditions:
//
// The above copyright notice and this permission notice shall be
// included in all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
// LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
// OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
// WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
//
using System;
using System.IO;
namespace Mono.Documentation {
static class MdocFile {
public static void UpdateFile (string file, Action<string> creator)
{
if (!File.Exists (file) || file == "-") {
creator (file);
return;
}
string temp = Path.GetTempFileName ();
bool move = true;
try {
creator (temp);
using (var a = File.OpenRead (file))
using (var b = File.OpenRead (temp)) {
if (a.Length == b.Length)
move = !FileContentsIdentical (a, b);
}
if (move) {
DeleteFile (file);
File.Move (temp, file);
}
}
finally {
if (!move && File.Exists (temp))
File.Delete (temp);
}
}
public static void DeleteFile (string fileToDelete, int retries = 10)
{
var startRetries = retries;
var fi = new FileInfo(fileToDelete);
if (fi.Exists) {
fi.Delete ();
fi.Refresh ();
while (fi.Exists && retries-- > 0) {
System.Threading.Thread.Sleep (100);
fi.Refresh ();
}
fi.Refresh ();
if (fi.Exists)
throw new IOException ($"Unable to delete file '{fileToDelete}' after {startRetries} attempts.");
}
}
static bool FileContentsIdentical (Stream a, Stream b)
{
byte[] ba = new byte[4096];
byte[] bb = new byte[4096];
int ra, rb;
while ((ra = a.Read (ba, 0, ba.Length)) > 0 &&
(rb = b.Read (bb, 0, bb.Length)) > 0) {
if (ra != rb)
return false;
for (int i = 0; i < ra; ++i) {
if (ba [i] != bb [i])
return false;
}
}
return true;
}
}
}