annotate tools/mira3/mira.py @ 27:85b86f31327c draft

planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit 206259620376b322fc8ed99a6efdd3712f38764b
author peterjc
date Wed, 11 Jul 2018 12:34:58 -0400
parents ad14a345f1b0
children e28d6015fc56
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
1 #!/usr/bin/env python
27
85b86f31327c planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit 206259620376b322fc8ed99a6efdd3712f38764b
peterjc
parents: 24
diff changeset
2 """A simple wrapper script to call MIRA and collect its output."""
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
3
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
4 from __future__ import print_function
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
5
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
6 import os
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
7 import shutil
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
8 import subprocess
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
9 import sys
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
10 import time
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
11
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
12 WRAPPER_VER = "0.0.12" # Keep in sync with the XML file
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
13
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
14
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
15 def get_version():
27
85b86f31327c planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit 206259620376b322fc8ed99a6efdd3712f38764b
peterjc
parents: 24
diff changeset
16 """Run MIRA to find its version number."""
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
17 # At the commend line I would use: mira -v | head -n 1
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
18 # however there is some pipe error when doing that here.
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
19 cmd = ["mira", "-v"]
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
20 try:
24
ad14a345f1b0 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit 6405ba93fcec7ea93452bf54d559c7507ee7a57c
peterjc
parents: 23
diff changeset
21 child = subprocess.Popen(cmd, universal_newlines=True,
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
22 stdout=subprocess.PIPE,
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
23 stderr=subprocess.STDOUT)
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
24 except Exception as err:
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
25 sys.stderr.write("Error invoking command:\n%s\n\n%s\n" % (" ".join(cmd), err))
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
26 sys.exit(1)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
27 ver, tmp = child.communicate()
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
28 del child
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
29 return ver.split("\n", 1)[0]
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
30
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
31
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
32 mira_ver = get_version()
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
33 if "V3.4." not in mira_ver:
22
a5a3460fafa6 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit bc3d484c5cd68ddcf456db2fff489d584aa2034c
peterjc
parents: 16
diff changeset
34 sys.exit("This wrapper is for MIRA V3.4, not %s" % mira_ver)
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
35 if "-v" in sys.argv:
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
36 print("MIRA wrapper version %s," % WRAPPER_VER)
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
37 print(mira_ver)
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
38 sys.exit(0)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
39
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
40
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
41 def collect_output(temp, name):
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
42 f = "%s/%s_assembly/%s_d_results" % (temp, name, name)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
43 if not os.path.isdir(f):
22
a5a3460fafa6 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit bc3d484c5cd68ddcf456db2fff489d584aa2034c
peterjc
parents: 16
diff changeset
44 sys.exit("Missing output folder")
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
45 if not os.listdir(f):
22
a5a3460fafa6 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit bc3d484c5cd68ddcf456db2fff489d584aa2034c
peterjc
parents: 16
diff changeset
46 sys.exit("Empty output folder")
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
47 missing = []
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
48 for old, new in [("%s/%s_out.unpadded.fasta" % (f, name), out_fasta),
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
49 ("%s/%s_out.unpadded.fasta.qual" % (f, name), out_qual),
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
50 ("%s/%s_out.wig" % (f, name), out_wig),
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
51 ("%s/%s_out.caf" % (f, name), out_caf),
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
52 ("%s/%s_out.ace" % (f, name), out_ace)]:
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
53 if not os.path.isfile(old):
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
54 missing.append(os.path.splitext(old)[-1])
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
55 else:
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
56 shutil.move(old, new)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
57 if missing:
22
a5a3460fafa6 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit bc3d484c5cd68ddcf456db2fff489d584aa2034c
peterjc
parents: 16
diff changeset
58 sys.exit("Missing output files: %s" % ", ".join(missing))
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
59
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
60
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
61 def clean_up(temp, name):
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
62 folder = "%s/%s_assembly" % (temp, name)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
63 if os.path.isdir(folder):
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
64 shutil.rmtree(folder)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
65
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
66
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
67 # TODO - Run MIRA in /tmp or a configurable directory?
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
68 # Currently Galaxy puts us somewhere safe like:
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
69 # /opt/galaxy-dist/database/job_working_directory/846/
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
70 temp = "."
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
71 name, out_fasta, out_qual, out_ace, out_caf, out_wig, out_log = sys.argv[1:8]
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
72
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
73 start_time = time.time()
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
74 cmd_list = sys.argv[8:]
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
75 cmd = " ".join(cmd_list)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
76
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
77 assert os.path.isdir(temp)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
78 d = "%s_assembly" % name
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
79 assert not os.path.isdir(d), "Path %s already exists" % d
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
80 try:
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
81 # Check path access
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
82 os.mkdir(d)
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
83 except Exception as err:
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
84 sys.stderr.write("Error making directory %s\n%s" % (d, err))
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
85 sys.exit(1)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
86
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
87 # print(os.path.abspath("."))
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
88 # print(cmd)
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
89
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
90 handle = open(out_log, "w")
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
91 try:
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
92 # Run MIRA
24
ad14a345f1b0 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit 6405ba93fcec7ea93452bf54d559c7507ee7a57c
peterjc
parents: 23
diff changeset
93 child = subprocess.Popen(cmd_list, universal_newlines=True,
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
94 stdout=handle,
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
95 stderr=subprocess.STDOUT)
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
96 except Exception as err:
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
97 sys.stderr.write("Error invoking command:\n%s\n\n%s\n" % (cmd, err))
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
98 # TODO - call clean up?
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
99 handle.write("Error invoking command:\n%s\n\n%s\n" % (cmd, err))
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
100 handle.close()
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
101 sys.exit(1)
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
102 # Use .communicate as can get deadlocks with .wait(),
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
103 stdout, stderr = child.communicate()
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
104 assert not stdout and not stderr # Should be empty as sent to handle
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
105 run_time = time.time() - start_time
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
106 return_code = child.returncode
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
107 handle.write("\n\nMIRA took %0.2f minutes\n" % (run_time / 60.0))
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
108 print("MIRA took %0.2f minutes" % (run_time / 60.0))
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
109 if return_code:
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
110 handle.write("Return error code %i from command:\n" % return_code)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
111 handle.write(cmd + "\n")
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
112 handle.close()
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
113 clean_up(temp, name)
22
a5a3460fafa6 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit bc3d484c5cd68ddcf456db2fff489d584aa2034c
peterjc
parents: 16
diff changeset
114 sys.stderr.write("Return error code %i from command:\n" % return_code)
a5a3460fafa6 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit bc3d484c5cd68ddcf456db2fff489d584aa2034c
peterjc
parents: 16
diff changeset
115 sys.stderr.write(cmd + "\n")
a5a3460fafa6 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit bc3d484c5cd68ddcf456db2fff489d584aa2034c
peterjc
parents: 16
diff changeset
116 sys.exit(return_code)
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
117 handle.close()
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
118
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
119 # print "Collecting output..."
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
120 collect_output(temp, name)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
121
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
122 # print "Cleaning up..."
12
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
123 clean_up(temp, name)
5b0af75dfe5a Uploaded v0.0.9, correct path in dependency installation; renamed folder
peterjc
parents:
diff changeset
124
23
83a94a5038a7 planemo upload for repository https://github.com/peterjc/galaxy_mira/tree/master/tools/mira3/ commit fd979d17340cde155de176604744831d9597c6b6
peterjc
parents: 22
diff changeset
125 print("Done")