Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry-packages
io-extra
Commits
6b28c3cb
Commit
6b28c3cb
authored
Nov 26, 2021
by
Michael Hanus
Browse files
Adapt to new name scheme
parent
9a4d3c71
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/System/IOExts_external.go
View file @
6b28c3cb
package
SystemIOExts
package
System
_DOT_
IOExts
import
"gocurry"
import
"curry2go/System/IO"
...
...
@@ -6,7 +6,7 @@ import "curry2go/Prelude"
import
"os/exec"
func
ExternalSystem_IOExts_prim_execCmd
(
task
*
gocurry
.
Task
){
func
ExternalSystem
Dot
_IOExts
Dot
_prim
Us
_execCmd
(
task
*
gocurry
.
Task
){
root
:=
task
.
GetControl
()
commandNode
:=
root
.
GetChild
(
0
)
command
:=
gocurry
.
ReadString
(
commandNode
)
...
...
@@ -31,19 +31,19 @@ func ExternalSystem_IOExts_prim_execCmd(task *gocurry.Task){
}
// create handles for pipes
stdinHandle
:=
SystemIO
.
HandleCreate
(
root
.
NewNode
(),
nil
,
&
stdinPipe
,
1
,
true
)
stdoutHandle
:=
SystemIO
.
HandleCreate
(
root
.
NewNode
(),
&
stdoutPipe
,
nil
,
0
,
true
)
stderrHandle
:=
SystemIO
.
HandleCreate
(
root
.
NewNode
(),
&
stderrPipe
,
nil
,
0
,
true
)
stdinHandle
:=
System
_DOT_
IO
.
HandleCreate
(
root
.
NewNode
(),
nil
,
&
stdinPipe
,
1
,
true
)
stdoutHandle
:=
System
_DOT_
IO
.
HandleCreate
(
root
.
NewNode
(),
&
stdoutPipe
,
nil
,
0
,
true
)
stderrHandle
:=
System
_DOT_
IO
.
HandleCreate
(
root
.
NewNode
(),
&
stderrPipe
,
nil
,
0
,
true
)
// start command
cmd
.
Start
()
// return
tupel
:=
Prelude
.
Prelude__CREATE_LbCommaCommaCommaRb
(
root
.
NewNode
(),
stdinHandle
,
stdoutHandle
,
stderrHandle
)
tupel
:=
Prelude
.
Prelude__CREATE_Lb
_
Comma
_
Comma
_
Comma
_
Rb
_
(
root
.
NewNode
(),
stdinHandle
,
stdoutHandle
,
stderrHandle
)
gocurry
.
IOCreate
(
root
,
tupel
)
}
func
ExternalSystem_IOExts_prim_connectToCmd
(
task
*
gocurry
.
Task
){
func
ExternalSystem
Dot
_IOExts
Dot
_prim
Us
_connectToCmd
(
task
*
gocurry
.
Task
){
root
:=
task
.
GetControl
()
commandNode
:=
root
.
GetChild
(
0
)
command
:=
gocurry
.
ReadString
(
commandNode
)
...
...
@@ -65,7 +65,7 @@ func ExternalSystem_IOExts_prim_connectToCmd(task *gocurry.Task){
// create handles for pipes
handle
:=
SystemIO
.
HandleCreate
(
root
.
NewNode
(),
&
stdoutPipe
,
&
stdinPipe
,
1
,
true
)
handle
:=
System
_DOT_
IO
.
HandleCreate
(
root
.
NewNode
(),
&
stdoutPipe
,
&
stdinPipe
,
1
,
true
)
// start command
cmd
.
Start
()
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment