Hi Roberto,
Il 09/11/2013 09:13, Roberto De Ioris ha scritto:
Hi everyone, uWSGI 1.9.19 is available.
This is the last "feature-rich" release for the 1.9 tree. From now on
(until the end of the year) we will work on stabilization, deprecation and
upgrades from 1.4 in preparation for 2.0.
I see you added stats_pusher_socket to base.ini, should the
stats_pusher_file plugin added too?
Attached a patch that add some more plugins to the coverity build,
please apply. I'll have another run at coverity later this weekend so if
you see something else that is not in the build profile just point me to it.
thanks,
riccardo
diff --git a/buildconf/coverity.ini b/buildconf/coverity.ini
index 9c4a0ef..2d67f05 100644
--- a/buildconf/coverity.ini
+++ b/buildconf/coverity.ini
@@ -1,4 +1,4 @@
[uwsgi]
-# pypy,go
-main_plugin = erlang,psgi,rack,lua,python,gevent,php,cgi,pyerl,glusterfs,pty,xslt,msgpack,geoip,v8,pam,ldap,mono,jvm,ring,jwsgi
+# go
+main_plugin = erlang,psgi,rack,lua,python,gevent,php,cgi,pyerl,glusterfs,pty,xslt,msgpack,geoip,v8,pam,ldap,mono,jvm,ring,jwsgi,servlet,rados,coroae,pypy
inherit = base
_______________________________________________
uWSGI mailing list
[email protected]
http://lists.unbit.it/cgi-bin/mailman/listinfo/uwsgi
