diff options
Diffstat (limited to 'src')
-rwxr-xr-x | src/manager/make-debug | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/manager/make-debug b/src/manager/make-debug new file mode 100755 index 000000000..c1093a138 --- /dev/null +++ b/src/manager/make-debug @@ -0,0 +1,15 @@ +#!/bin/bash +# +# Debug helper script, launches manager statically. Use Apache config: +# FastCgiIpcDir /var/lib/apache2/fastcgi +# FastCgiExternalServer /var/www/manager-dbg -socket manager + +make CFLAGS="-g -O2 -DFCGI_SOCKET=\\\"/var/lib/apache2/fastcgi/manager\\\"" || exit +sudo make install || exit + +if [ "$1" == "dbg" ] +then + sudo -u www-data gdb -q /usr/local/libexec/ipsec/manager.fcgi +else + sudo -u www-data /usr/local/libexec/ipsec/manager.fcgi +fi |