Skip to content

Commit 9f58cea

Browse files
authored
Merge pull request #1100 from nojaf/medi
Add wildcards for watch registrations.
2 parents 42cdfd3 + cb83858 commit 9f58cea

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

server/src/server.ts

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1051,15 +1051,15 @@ async function onMessage(msg: p.Message) {
10511051
const watchers = Array.from(workspaceFolders).flatMap(
10521052
(projectRootPath) => [
10531053
{
1054-
globPattern: path.join(projectRootPath, c.compilerLogPartialPath),
1054+
globPattern: path.join(projectRootPath, '**', c.compilerLogPartialPath),
10551055
kind: p.WatchKind.Change | p.WatchKind.Create | p.WatchKind.Delete,
10561056
},
10571057
{
1058-
globPattern: path.join(projectRootPath, c.buildNinjaPartialPath),
1058+
globPattern: path.join(projectRootPath, '**', c.buildNinjaPartialPath),
10591059
kind: p.WatchKind.Change | p.WatchKind.Create | p.WatchKind.Delete,
10601060
},
10611061
{
1062-
globPattern: `${path.join(projectRootPath, c.compilerDirPartialPath)}/**/*.{cmt,cmi}`,
1062+
globPattern: `${path.join(projectRootPath, '**', c.compilerDirPartialPath)}/**/*.{cmt,cmi}`,
10631063
kind: p.WatchKind.Change | p.WatchKind.Delete,
10641064
}
10651065
]

0 commit comments

Comments
 (0)