add -d/--disable-plugins option to allow easy restart with troublesome plugins
authorPaul Davis <paul@linuxaudiosystems.com>
Fri, 4 Jan 2008 20:12:44 +0000 (20:12 +0000)
committerPaul Davis <paul@linuxaudiosystems.com>
Fri, 4 Jan 2008 20:12:44 +0000 (20:12 +0000)
commitc5e2ffa8a7d9e6602bb2025f2d3fdf689b608520
tree98cc6f042b5bea6ab9f440ee7c04bb1af6424f0d
parentd41f7a0a701bb7af04ab4b3c2a26ff23f96407f9
add -d/--disable-plugins option to allow easy restart with troublesome plugins

git-svn-id: svn://localhost/ardour2/branches/2.0-ongoing@2828 d708f5d6-7413-0410-9779-e7cbd77b26cf
gtk2_ardour/opts.cc
libs/ardour/ardour/session.h
libs/ardour/redirect.cc
libs/ardour/session.cc