Commit 4e68f7b
committed
Add warning when build directory lock is already held
When dune attempts to acquire the build directory lock and finds it held by
another process, emit a warning message instead of silently waiting. The
warning includes the PID of the lock holder (if available) and the path to
the lock file, making it easier for users and AI assistants to understand
why dune appears to be hanging.
Signed-off-by: sabine <[email protected]>1 parent b202280 commit 4e68f7b
1 file changed
+31
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
99 | 99 | | |
100 | 100 | | |
101 | 101 | | |
102 | | - | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
| 113 | + | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
103 | 117 | | |
| 118 | + | |
104 | 119 | | |
105 | 120 | | |
106 | 121 | | |
107 | 122 | | |
108 | | - | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
109 | 138 | | |
110 | 139 | | |
111 | 140 | | |
| |||
0 commit comments