diff options
| author | Blaž Hrastnik | 2022-09-11 02:09:12 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-09-11 02:11:07 +0000 |
| commit | c2e41082e4b2e0e1dba6a980a7f09ccaad88cbd0 (patch) | |
| tree | ecf53d11e0f83f8a5d50585a6877f4d3fc4ebef5 /runtime | |
| parent | a15420ed1c3b46df0dade6ec6d05a0e4b26e06e0 (diff) | |
Remove the .txt suffix from tutor
The tutor file is loaded as .txt which can potentially spawn a
language server. Then the path is unset, but the LS remains active.
This can cause panics since updates are now submitted for a doc
with no path.
As a quick workaround we remove the extension which should avoid
detection.
Fixes #3730
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/tutor (renamed from runtime/tutor.txt) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/runtime/tutor.txt b/runtime/tutor index 4a6c4425..4a6c4425 100644 --- a/runtime/tutor.txt +++ b/runtime/tutor |