Il sito funziona meglio con JavaScript.
Home
Esplora
Aiuto
Accedi
perelman
/
kill-child-jobs
Segui
1
Vota
0
Forka
0
Codice
Problemi
0
Pull Requests
0
Rilasci
0
Wiki
Attività
Sfoglia il codice sorgente
Remove outdated comment.
master
Daniel Perelman
2 anni fa
parent
4220bc174f
commit
403f7193e1
1 ha cambiato i file
con
0 aggiunte
e
1 eliminazioni
Visualizzazione separata
Opzioni Diff
Mostra statistiche
Scarica il file Patch
Scarica il file Diff
+0
-1
all.sh
+ 0
- 1
all.sh
Vedi File
@@ -1,7 +1,6 @@
#!/bin/sh
set -e
# From https://stackoverflow.com/a/360275
kill_child_jobs() {
echo "In kill_child_jobs()..."
# Workaround for https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=482999
Scrivi
Anteprima
Caricamento…
Annulla
Salva