Merge branch '9018-nodemanager-kill-instead-of-killpg' closes #9018
-rw-r--r-- 266 .gitignore
-rw-r--r-- 625 COPYING
-rw-r--r-- 11358 LICENSE-2.0.txt
-rw-r--r-- 583 Makefile
-rw-r--r-- 2939 README.md
-rw-r--r-- 34520 agpl-3.0.txt
drwxr-xr-x - apps
drwxr-xr-x - backports
drwxr-xr-x - build
-rw-r--r-- 17802 by-sa-3.0.txt
drwxr-xr-x - crunch_scripts
drwxr-xr-x - doc
drwxr-xr-x - docker
drwxr-xr-x - sdk
drwxr-xr-x - services
drwxr-xr-x - tools