private static void OnRenamed(object source, RenamedEventArgs e)
{
if (!IfFileShouldBeWatched(e.FullPath) && !IfFileShouldBeWatched(e.OldFullPath))
{
return;
}
// Specify what is done when a file is renamed.
Console.WriteLine($"File: {e.OldFullPath} renamed to {e.FullPath}");
WebsocketClientSide.ChangeResource(e.Name);
}
// Define the event handlers.
private static void OnChanged(object source, FileSystemEventArgs e)
{
if (!IfFileShouldBeWatched(e.FullPath))
{
return;
}
// Specify what is done when a file is changed, created, or deleted.
Console.WriteLine($"File: {e.FullPath} {e.ChangeType}");
WebsocketClientSide.ChangeResource(e.Name);
}
