Skip to content

Instantly share code, notes, and snippets.

@sarum9in
Created September 29, 2016 08:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save sarum9in/a9e07a31d595d45482fdcfa291cb873d to your computer and use it in GitHub Desktop.
Save sarum9in/a9e07a31d595d45482fdcfa291cb873d to your computer and use it in GitHub Desktop.
process {
resource_limits {
time_limit_millis: 1000
memory_limit_bytes: 1073741824
}
file {
id: "stdin"
permission: READ
init: "in"
}
file {
id: "stdout"
permission: READ
permission: WRITE
}
execution {
redirection {
file_id: "stdin"
}
redirection {
stream: STDOUT
file_id: "stdout"
}
}
}
process {
resource_limits {
time_limit_millis: 1000
memory_limit_bytes: 1073741824
}
file {
id: "stdin"
permission: READ
init: "in"
}
file {
id: "stdout"
permission: READ
permission: WRITE
}
file {
id: "stderr"
permission: READ
permission: WRITE
}
execution {
redirection {
file_id: "stdin"
}
redirection {
stream: STDOUT
file_id: "stdout"
}
redirection {
stream: STDERR
file_id: "stderr"
}
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment