summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorBram Moolenaar <Bram@vim.org>2020-11-25 12:43:28 +0100
committerBram Moolenaar <Bram@vim.org>2020-11-25 12:43:28 +0100
commit5ee0981fb5259f94900ab25207caddf1fa61010d (patch)
treede45d49c38e4407511d6c1737390d32228e76d66 /.github
parentff94bd9e4779b918f3761035f43a97ba7175b3ce (diff)
patch 8.2.2044: MS-Windows: swap file test sometimes failsv8.2.2044
Problem: MS-Windows: swap file test sometimes fails. Solution: Use a more reliable way to change the process ID. When "timeout" fails use "ping" to wait up to ten minutes. (Ken Takata, closes #7365)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci-windows.yaml3
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml
index 7db551fdcb..4a470624b8 100644
--- a/.github/workflows/ci-windows.yaml
+++ b/.github/workflows/ci-windows.yaml
@@ -215,7 +215,8 @@ jobs:
:: Wait about 10 minutes.
for /L %%i in (1,1,60) do (
if exist done.txt goto exitloop
- timeout 10
+ timeout 10 > NUL 2>&1
+ if ERRORLEVEL 1 ping -n 11 localhost > NUL
)
set timeout=1
:exitloop