Re: [PATCH] Let if-shell and run-shell without a session

2013-03-11 Thread Nicholas Marriott
Applied but I changed wp_id to be signed - even if it means a cast I think it is better. Subjective perhaps :-). On Mon, Mar 11, 2013 at 03:24:51AM -0500, Chris Johnsen wrote: > From: Thomas Adam > > While processing the configuration files during server startup, > there may be no sessions (and

[PATCH] Let if-shell and run-shell without a session

2013-03-11 Thread Chris Johnsen
From: Thomas Adam While processing the configuration files during server startup, there may be no sessions (and thus, no panes). If these commands are used in this context, cmd_find_pane will generate an error message and the command will abort. To make these commands usable without a session, s