public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-05 16:49:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #29 from rajdakin/master

Browse source 
Modified a little thing
This commit is contained in:
Grant Sanderson 2017-05-08 08:35:30 -07:00 • committed by GitHub
commit 6bb8f1d94a
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extract_scene.py
View file

@ -177,6 +177,8 @@ def main():
try: try:
handle_scene(SceneClass(**scene_kwargs), **config) handle_scene(SceneClass(**scene_kwargs), **config)
play_finish_sound() play_finish_sound()
except RuntimeError:
play_finish_sound()
except: except:
print "\n\n" print "\n\n"
traceback.print_exc() traceback.print_exc()