dearwolf/sourcegit
1
0
Fork 0
mirror of https://github.com/sourcegit-scm/sourcegit synced 2025-06-26 12:55:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

fix: file watcher dds processing of logs/HEAD

Browse source
This commit is contained in:
Gadfly 2024-04-26 23:24:23 +08:00
parent 80c864dad7
commit a74851de4a
No known key found for this signature in database
GPG key ID: 9128145F93CFC69C
2 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/Models/Watcher.cs
View file

@ -174,11 +174,13 @@ namespace SourceGit.Models
else if (name.Equals("HEAD", StringComparison.Ordinal) || else if (name.Equals("HEAD", StringComparison.Ordinal) ||
name.StartsWith("refs/heads/", StringComparison.Ordinal) || name.StartsWith("refs/heads/", StringComparison.Ordinal) ||
name.StartsWith("refs/remotes/", StringComparison.Ordinal) || name.StartsWith("refs/remotes/", StringComparison.Ordinal) ||
name.StartsWith("worktrees/", StringComparison.Ordinal)) name.StartsWith("worktrees/", StringComparison.Ordinal) ||
name.StartsWith("logs/HEAD", StringComparison.Ordinal))
{ {
_updateBranch = DateTime.Now.AddSeconds(.5).ToFileTime(); _updateBranch = DateTime.Now.AddSeconds(.5).ToFileTime();
} }
else if (name.StartsWith("objects/", StringComparison.Ordinal) || name.Equals("index", StringComparison.Ordinal)) else if (name.StartsWith("objects/", StringComparison.Ordinal) ||
name.Equals("index", StringComparison.Ordinal))
{ {
_updateWC = DateTime.Now.AddSeconds(1).ToFileTime(); _updateWC = DateTime.Now.AddSeconds(1).ToFileTime();
} }