author | wenzelm |
Wed, 30 Jun 2021 20:57:38 +0200 | |
changeset 73906 | f627ffab387b |
parent 73904 | 51f510517aa0 |
child 73911 | a8c5ee444991 |
permissions | -rw-r--r-- |
62584 | 1 |
/* Title: Pure/System/bash.scala |
60991 | 2 |
Author: Makarius |
3 |
||
4 |
GNU bash processes, with propagation of interrupts. |
|
5 |
*/ |
|
6 |
||
7 |
package isabelle |
|
8 |
||
9 |
||
73897 | 10 |
import java.util.{LinkedList, List => JList, Map => JMap} |
73895 | 11 |
import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter, File => JFile} |
71706 | 12 |
import scala.annotation.tailrec |
73602
37243ad3ecb6
fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);
wenzelm
parents:
73601
diff
changeset
|
13 |
import scala.jdk.OptionConverters._ |
71706 | 14 |
|
60991 | 15 |
|
16 |
object Bash |
|
17 |
{ |
|
64304 | 18 |
/* concrete syntax */ |
19 |
||
20 |
private def bash_chr(c: Byte): String = |
|
21 |
{ |
|
22 |
val ch = c.toChar |
|
23 |
ch match { |
|
24 |
case '\t' => "$'\\t'" |
|
25 |
case '\n' => "$'\\n'" |
|
26 |
case '\f' => "$'\\f'" |
|
27 |
case '\r' => "$'\\r'" |
|
28 |
case _ => |
|
67200 | 29 |
if (Symbol.is_ascii_letter(ch) || Symbol.is_ascii_digit(ch) || "+,-./:_".contains(ch)) |
64304 | 30 |
Symbol.ascii(ch) |
31 |
else if (c < 0) "$'\\x" + Integer.toHexString(256 + c) + "'" |
|
32 |
else if (c < 16) "$'\\x0" + Integer.toHexString(c) + "'" |
|
33 |
else if (c < 32 || c >= 127) "$'\\x" + Integer.toHexString(c) + "'" |
|
34 |
else "\\" + ch |
|
35 |
} |
|
36 |
} |
|
37 |
||
38 |
def string(s: String): String = |
|
39 |
if (s == "") "\"\"" |
|
71601 | 40 |
else UTF8.bytes(s).iterator.map(bash_chr).mkString |
64304 | 41 |
|
42 |
def strings(ss: List[String]): String = |
|
71601 | 43 |
ss.iterator.map(Bash.string).mkString(" ") |
64304 | 44 |
|
45 |
||
46 |
/* process and result */ |
|
47 |
||
72598 | 48 |
type Watchdog = (Time, Process => Boolean) |
49 |
||
73890 | 50 |
def process_signal(group_pid: String, signal: String = "0"): Boolean = |
51 |
{ |
|
73895 | 52 |
val cmd = new LinkedList[String] |
53 |
if (Platform.is_windows) { |
|
54 |
cmd.add(Isabelle_System.cygwin_root() + "\\bin\\bash.exe") |
|
55 |
} |
|
56 |
else { |
|
57 |
cmd.add("/usr/bin/env") |
|
58 |
cmd.add("bash") |
|
59 |
} |
|
60 |
cmd.add("-c") |
|
61 |
cmd.add("kill -" + signal + " -" + group_pid) |
|
73906 | 62 |
isabelle.setup.Environment.exec_process(cmd, null, null, false).ok |
73890 | 63 |
} |
64 |
||
62545
8ebffdaf2ce2
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
wenzelm
parents:
62543
diff
changeset
|
65 |
def process(script: String, |
62573 | 66 |
cwd: JFile = null, |
73897 | 67 |
env: JMap[String, String] = Isabelle_System.settings(), |
62602 | 68 |
redirect: Boolean = false, |
69 |
cleanup: () => Unit = () => ()): Process = |
|
70 |
new Process(script, cwd, env, redirect, cleanup) |
|
60991 | 71 |
|
63996 | 72 |
class Process private[Bash]( |
62602 | 73 |
script: String, |
74 |
cwd: JFile, |
|
73897 | 75 |
env: JMap[String, String], |
62602 | 76 |
redirect: Boolean, |
77 |
cleanup: () => Unit) |
|
60991 | 78 |
{ |
62604 | 79 |
private val timing_file = Isabelle_System.tmp_file("bash_timing") |
62569 | 80 |
private val timing = Synchronized[Option[Timing]](None) |
65317 | 81 |
def get_timing: Timing = timing.value getOrElse Timing.zero |
62569 | 82 |
|
73603
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
83 |
private val winpid_file: Option[JFile] = |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
84 |
if (Platform.is_windows) Some(Isabelle_System.tmp_file("bash_winpid")) else None |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
85 |
private val winpid_script = |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
86 |
winpid_file match { |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
87 |
case None => script |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
88 |
case Some(file) => |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
89 |
"read < /proc/self/winpid > /dev/null 2> /dev/null\n" + |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
90 |
"""echo -n "$REPLY" > """ + File.bash_path(file) + "\n\n" + script |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
91 |
} |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
92 |
|
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
93 |
private val script_file: JFile = Isabelle_System.tmp_file("bash_script") |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
94 |
File.write(script_file, winpid_script) |
62545
8ebffdaf2ce2
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
wenzelm
parents:
62543
diff
changeset
|
95 |
|
62296 | 96 |
private val proc = |
73906 | 97 |
isabelle.setup.Environment.process_builder( |
73895 | 98 |
JList.of(File.platform_path(Path.variable("ISABELLE_BASH_PROCESS")), |
62610
4c89504c76fb
more uniform signature for various process invocations;
wenzelm
parents:
62604
diff
changeset
|
99 |
File.standard_path(timing_file), "bash", File.standard_path(script_file)), |
73906 | 100 |
cwd, env, redirect).start() |
60991 | 101 |
|
102 |
||
103 |
// channels |
|
104 |
||
105 |
val stdin: BufferedWriter = |
|
106 |
new BufferedWriter(new OutputStreamWriter(proc.getOutputStream, UTF8.charset)) |
|
107 |
||
108 |
val stdout: BufferedReader = |
|
109 |
new BufferedReader(new InputStreamReader(proc.getInputStream, UTF8.charset)) |
|
110 |
||
111 |
val stderr: BufferedReader = |
|
112 |
new BufferedReader(new InputStreamReader(proc.getErrorStream, UTF8.charset)) |
|
113 |
||
114 |
||
115 |
// signals |
|
116 |
||
73601 | 117 |
private val group_pid = stdout.readLine |
60991 | 118 |
|
73603
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
119 |
private def process_alive(pid: String): Boolean = |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
120 |
(for { |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
121 |
p <- Value.Long.unapply(pid) |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
122 |
handle <- ProcessHandle.of(p).toScala |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
123 |
} yield handle.isAlive) getOrElse false |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
124 |
|
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
125 |
private def root_process_alive(): Boolean = |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
126 |
winpid_file match { |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
127 |
case None => process_alive(group_pid) |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
128 |
case Some(file) => |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
129 |
file.exists() && process_alive(Library.trim_line(File.read(file))) |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
130 |
} |
73602
37243ad3ecb6
fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);
wenzelm
parents:
73601
diff
changeset
|
131 |
|
73601 | 132 |
@tailrec private def signal(s: String, count: Int = 1): Boolean = |
60991 | 133 |
{ |
71706 | 134 |
count <= 0 || |
135 |
{ |
|
73890 | 136 |
process_signal(group_pid, signal = s) |
137 |
val running = root_process_alive() || process_signal(group_pid) |
|
71707 | 138 |
if (running) { |
73702
7202e12cb324
tuned signature --- following hints by IntelliJ IDEA;
wenzelm
parents:
73604
diff
changeset
|
139 |
Time.seconds(0.1).sleep() |
73601 | 140 |
signal(s, count - 1) |
60991 | 141 |
} |
71706 | 142 |
else false |
60991 | 143 |
} |
144 |
} |
|
145 |
||
71712
c6b7f4da67b3
more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);
wenzelm
parents:
71708
diff
changeset
|
146 |
def terminate(): Unit = Isabelle_Thread.try_uninterruptible |
62574 | 147 |
{ |
73601 | 148 |
signal("INT", count = 7) && signal("TERM", count = 3) && signal("KILL") |
73367 | 149 |
proc.destroy() |
62602 | 150 |
do_cleanup() |
62574 | 151 |
} |
60991 | 152 |
|
71712
c6b7f4da67b3
more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);
wenzelm
parents:
71708
diff
changeset
|
153 |
def interrupt(): Unit = Isabelle_Thread.try_uninterruptible |
71705 | 154 |
{ |
73890 | 155 |
process_signal(group_pid, "INT") |
71705 | 156 |
} |
157 |
||
60991 | 158 |
|
159 |
// JVM shutdown hook |
|
160 |
||
71712
c6b7f4da67b3
more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);
wenzelm
parents:
71708
diff
changeset
|
161 |
private val shutdown_hook = Isabelle_Thread.create(() => terminate()) |
60991 | 162 |
|
163 |
try { Runtime.getRuntime.addShutdownHook(shutdown_hook) } |
|
164 |
catch { case _: IllegalStateException => } |
|
165 |
||
62545
8ebffdaf2ce2
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
wenzelm
parents:
62543
diff
changeset
|
166 |
|
62574 | 167 |
// cleanup |
62545
8ebffdaf2ce2
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
wenzelm
parents:
62543
diff
changeset
|
168 |
|
73340 | 169 |
private def do_cleanup(): Unit = |
62545
8ebffdaf2ce2
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
wenzelm
parents:
62543
diff
changeset
|
170 |
{ |
60991 | 171 |
try { Runtime.getRuntime.removeShutdownHook(shutdown_hook) } |
172 |
catch { case _: IllegalStateException => } |
|
173 |
||
73603
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
174 |
script_file.delete() |
342362c9496c
clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
wenzelm
parents:
73602
diff
changeset
|
175 |
winpid_file.foreach(_.delete()) |
60991 | 176 |
|
62569 | 177 |
timing.change { |
178 |
case None => |
|
62574 | 179 |
if (timing_file.isFile) { |
180 |
val t = |
|
181 |
Word.explode(File.read(timing_file)) match { |
|
63805 | 182 |
case List(Value.Long(elapsed), Value.Long(cpu)) => |
62574 | 183 |
Timing(Time.ms(elapsed), Time.ms(cpu), Time.zero) |
184 |
case _ => Timing.zero |
|
185 |
} |
|
186 |
timing_file.delete |
|
187 |
Some(t) |
|
188 |
} |
|
189 |
else Some(Timing.zero) |
|
62569 | 190 |
case some => some |
191 |
} |
|
62602 | 192 |
|
193 |
cleanup() |
|
62574 | 194 |
} |
62569 | 195 |
|
62574 | 196 |
|
197 |
// join |
|
198 |
||
199 |
def join: Int = |
|
200 |
{ |
|
201 |
val rc = proc.waitFor |
|
62602 | 202 |
do_cleanup() |
62545
8ebffdaf2ce2
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
wenzelm
parents:
62543
diff
changeset
|
203 |
rc |
8ebffdaf2ce2
Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
wenzelm
parents:
62543
diff
changeset
|
204 |
} |
62543 | 205 |
|
206 |
||
62574 | 207 |
// result |
62543 | 208 |
|
209 |
def result( |
|
210 |
progress_stdout: String => Unit = (_: String) => (), |
|
211 |
progress_stderr: String => Unit = (_: String) => (), |
|
72598 | 212 |
watchdog: Option[Watchdog] = None, |
62543 | 213 |
strict: Boolean = true): Process_Result = |
214 |
{ |
|
73367 | 215 |
stdin.close() |
62543 | 216 |
|
217 |
val out_lines = |
|
72105 | 218 |
Future.thread("bash_stdout") { File.read_lines(stdout, progress_stdout) } |
62543 | 219 |
val err_lines = |
72105 | 220 |
Future.thread("bash_stderr") { File.read_lines(stderr, progress_stderr) } |
62543 | 221 |
|
72598 | 222 |
val watchdog_thread = |
223 |
for ((time, check) <- watchdog) |
|
224 |
yield { |
|
225 |
Future.thread("bash_watchdog") { |
|
226 |
while (proc.isAlive) { |
|
73702
7202e12cb324
tuned signature --- following hints by IntelliJ IDEA;
wenzelm
parents:
73604
diff
changeset
|
227 |
time.sleep() |
72598 | 228 |
if (check(this)) interrupt() |
229 |
} |
|
230 |
} |
|
231 |
} |
|
232 |
||
62543 | 233 |
val rc = |
234 |
try { join } |
|
62574 | 235 |
catch { case Exn.Interrupt() => terminate(); Exn.Interrupt.return_code } |
72598 | 236 |
|
73367 | 237 |
watchdog_thread.foreach(_.cancel()) |
72598 | 238 |
|
62543 | 239 |
if (strict && rc == Exn.Interrupt.return_code) throw Exn.Interrupt() |
240 |
||
73134
8a8ffe78eee7
clarified return code: re-use SIGALRM for soft timeout;
wenzelm
parents:
72598
diff
changeset
|
241 |
Process_Result(rc, out_lines.join, err_lines.join, get_timing) |
62543 | 242 |
} |
60991 | 243 |
} |
73228
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
244 |
|
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
245 |
|
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
246 |
/* Scala function */ |
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
247 |
|
73565 | 248 |
object Process extends Scala.Fun_Strings("bash_process", thread = true) |
73228
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
249 |
{ |
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
250 |
val here = Scala_Project.here |
73565 | 251 |
def apply(args: List[String]): List[String] = |
73228
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
252 |
{ |
73604 | 253 |
val result = |
254 |
Exn.capture { |
|
255 |
val redirect = args.head == "true" |
|
256 |
val script = cat_lines(args.tail) |
|
257 |
Isabelle_System.bash(script, redirect = redirect) |
|
258 |
} |
|
73228
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
259 |
|
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
260 |
val is_interrupt = |
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
261 |
result match { |
73263
ad60214bef09
more uniform Bash.process: always ask Isabelle/Scala;
wenzelm
parents:
73230
diff
changeset
|
262 |
case Exn.Res(res) => res.rc == Exn.Interrupt.return_code |
73228
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
263 |
case Exn.Exn(exn) => Exn.is_interrupt(exn) |
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
264 |
} |
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
265 |
|
73268
c8abfe393c16
more accurate process_result in ML, corresponding to Process_Result in Scala;
wenzelm
parents:
73265
diff
changeset
|
266 |
result match { |
73565 | 267 |
case _ if is_interrupt => Nil |
268 |
case Exn.Exn(exn) => List(Exn.message(exn)) |
|
73268
c8abfe393c16
more accurate process_result in ML, corresponding to Process_Result in Scala;
wenzelm
parents:
73265
diff
changeset
|
269 |
case Exn.Res(res) => |
73565 | 270 |
res.rc.toString :: |
271 |
res.timing.elapsed.ms.toString :: |
|
272 |
res.timing.cpu.ms.toString :: |
|
273 |
res.out_lines.length.toString :: |
|
274 |
res.out_lines ::: res.err_lines |
|
73228
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
275 |
} |
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
276 |
} |
0575cfd2ecfc
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
wenzelm
parents:
73134
diff
changeset
|
277 |
} |
60991 | 278 |
} |