issues
search
arminbiere
/
runlim
Other
12
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
need better group and session id handling
#8
arminbiere
opened
4 months ago
2
Does not work correctly when the shell script terminates quick but subprocesses keep running
#7
msoos
closed
4 months ago
11
`can not open '%s' for reading` but subprocess not killed
#6
msooseth
opened
9 months ago
3
Fix `configure.sh`
#5
msooseth
closed
1 year ago
2
flush_inactive: only consider descendants of child_pid
#4
mtzguido
opened
1 year ago
2
runlim.c: fix some missing options in switch
#3
mtzguido
closed
1 year ago
3
Short option -r is not working
#2
rkaminsk
closed
1 year ago
0
Configure delay between SIGTERM and SIGKILL
#1
rkaminsk
closed
2 years ago
8