Bug fix for when guest requests file before it exists

James-Yu · Jul 28, 2020 · 0f89075 · 0f89075
1 parent 0e4eb53
commit 0f89075
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/components/liveshare.ts b/src/components/liveshare.ts
@@ -187,9 +187,9 @@ export class LiveShare {
         this.extension.logger.addCompilerMessage(`[Remote] ${message}`)
     }
 
-    async requestPdf(texPath: string) {
+    async requestPdf(texPath: string, forceFetch = false) {
         if (this.guestService) {
-            if (this.requestedPdfs.indexOf(texPath) < 0) {
+            if (this.requestedPdfs.indexOf(texPath) < 0 || forceFetch) {
                 this.requestedPdfs.push(texPath)
                 const p = async () => {
                     const results = await this.guestService?.request(requestPdfRequestName, [texPath])

diff --git a/src/components/manager.ts b/src/components/manager.ts
@@ -188,8 +188,8 @@ export class Manager {
      */
     tex2pdf(texPath: string, respectOutDir: boolean = true) {
         if (this.extension.liveshare.isGuest) {
-            this.extension.liveshare.requestPdf(texPath)
             const livesharePdfPath = path.join(this.getOutDir(texPath), path.basename(`${texPath.substr(0, texPath.lastIndexOf('.'))}.pdf`))
+            this.extension.liveshare.requestPdf(texPath, !fs.existsSync(livesharePdfPath))
             this.watchPdfFile(livesharePdfPath)
             return livesharePdfPath
         }