Slave.run: run a command using Unix.execute
authorClinton Ebadi <clinton@unknownlamer.org>
Tue, 6 May 2014 23:19:17 +0000 (19:19 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Tue, 6 May 2014 23:19:17 +0000 (19:19 -0400)
commitdfd19067c2b670d13415a04291caaa51b025d3d6
treebb7934f7ab966f265c9509c63ca99a8a6540cec7
parent2b75bae8ada47b59140ee0eebf7de424c0008431
Slave.run: run a command using Unix.execute

Similar to Slave.shell, only it passes the arguments list directly to
Unix.execute.
src/slave.sig
src/slave.sml