On Wed, Nov 11, 2015 at 2:09 PM, Pavel Grunt wrote:
> On Wed, 2015-11-11 at 00:37 +0100, Fabiano Fidêncio wrote:
>> On Tue, Nov 10, 2015 at 9:41 PM, Jonathon Jongsma
>> wrote:
>> > ---
>> > server/red_worker.c | 1 -
>> > 1 file changed, 1 deletion(-)
>> >
>> > diff --git a/server/red_worker.c
On Wed, 2015-11-11 at 00:37 +0100, Fabiano Fidêncio wrote:
> On Tue, Nov 10, 2015 at 9:41 PM, Jonathon Jongsma wrote:
> > ---
> > server/red_worker.c | 1 -
> > 1 file changed, 1 deletion(-)
> >
> > diff --git a/server/red_worker.c b/server/red_worker.c
> > index dd4633c..8a2ff0e 100644
> > ---
On Tue, Nov 10, 2015 at 9:41 PM, Jonathon Jongsma wrote:
> ---
> server/red_worker.c | 1 -
> 1 file changed, 1 deletion(-)
>
> diff --git a/server/red_worker.c b/server/red_worker.c
> index dd4633c..8a2ff0e 100644
> --- a/server/red_worker.c
> +++ b/server/red_worker.c
> @@ -75,7 +75,6 @@
> #de
---
server/red_worker.c | 1 -
1 file changed, 1 deletion(-)
diff --git a/server/red_worker.c b/server/red_worker.c
index dd4633c..8a2ff0e 100644
--- a/server/red_worker.c
+++ b/server/red_worker.c
@@ -75,7 +75,6 @@
#define CMD_RING_POLL_RETRIES 200
#define DISPLAY_CLIENT_SHORT_TIMEOUT 15