Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork8.1k
Commit6af8ef0
committed
Fix a race condition in TexManager.make_dvi.
Previously, a race condition could occur if, while a process had calledmake_tex (generating the tex file in the global cache) and was going tocall the latex subprocess (to generate the dvi file), another processalso called make_tex for the same tex string and started rewriting thetex source. In that case, the latex subprocess could see a partiallywritten (invalid) tex source.Fix that by generating the tex source in a process-private temporarydirectory, where the latex process is already going to run anyways.(This is cheap compared to the latex subprocess invocation.)1 parent780e66c commit6af8ef0
1 file changed
+8
-6
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
284 | 284 | | |
285 | 285 | | |
286 | 286 | | |
287 | | - | |
288 | | - | |
| 287 | + | |
| 288 | + | |
| 289 | + | |
| 290 | + | |
289 | 291 | | |
290 | 292 | | |
291 | 293 | | |
| |||
296 | 298 | | |
297 | 299 | | |
298 | 300 | | |
299 | | - | |
| 301 | + | |
| 302 | + | |
300 | 303 | | |
301 | 304 | | |
302 | | - | |
303 | | - | |
304 | | - | |
| 305 | + | |
| 306 | + | |
305 | 307 | | |
306 | 308 | | |
307 | 309 | | |
| |||
0 commit comments
Comments
(0)