diff options
Diffstat (limited to 'Build/source/utils/asymptote/GUI/xasy2asy.py')
| -rwxr-xr-x | Build/source/utils/asymptote/GUI/xasy2asy.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/utils/asymptote/GUI/xasy2asy.py b/Build/source/utils/asymptote/GUI/xasy2asy.py index 984bd1f5dd9..3a2c1bcbe7b 100755 --- a/Build/source/utils/asymptote/GUI/xasy2asy.py +++ b/Build/source/utils/asymptote/GUI/xasy2asy.py @@ -65,6 +65,10 @@ def startQuickAsy(): except: quickAsyFailed = True +def stopQuickAsy(): + if quickAsyRunning(): + fout.write("exit;\n"); + def getAsyTempDir(): return AsyTempDir |