From 920eee36e3bded9228fde1bc0faa38725fb197b2 Mon Sep 17 00:00:00 2001
From: Unbit <info@unbit.it>
Date: Thu, 2 May 2013 17:28:06 +0200
Subject: [PATCH] fixed a wrong cast in gevent plugin

---
 plugins/gevent/gevent.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/plugins/gevent/gevent.c b/plugins/gevent/gevent.c
index 89c43fe7..9d83a5db 100644
--- a/plugins/gevent/gevent.c
+++ b/plugins/gevent/gevent.c
@@ -269,8 +269,9 @@ end2:
 
 
 	if (uwsgi.workers[uwsgi.mywid].manage_next_request == 0) {
-          int running_cores = 0;
-          for(int i=0;i<uwsgi.async;i++) {
+		int running_cores = 0;
+		int i;
+          for(i=0;i<uwsgi.async;i++) {
             if (uwsgi.workers[uwsgi.mywid].cores[i].in_request) {
               running_cores++;
             }