Unified Diff: src/shared/Communication.h
Issue 10902015:
Don't spawn a new engine if the pipe is busy (Closed)
Patch Set:
Created June 6, 2013, 10:35 a.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
src/shared/Communication.cpp » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: src/shared/Communication.h |
| =================================================================== |
| --- a/src/shared/Communication.h |
| +++ b/src/shared/Communication.h |
| @@ -141,6 +141,12 @@ |
| PipeConnectionError(); |
| }; |
| + class PipeBusyError : public std::runtime_error |
| + { |
| + public: |
| + PipeBusyError(); |
| + }; |
| + |
| class Pipe |
| { |
| public: |
« no previous file with comments
|
« no previous file
|
src/shared/Communication.cpp » ('j')
|
no next file with comments »
