# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1286156521 -3600
# Node ID c77c5ac571562dd122fbbc947ab49481d39a81dc
# Parent  1ccc729780b7a5d42bf983cf64da1cf5eabd4c9f
xmpp-fingerprint.lua: Support for 'server_version' in addition to 'server_min_version'

diff -r 1ccc729780b7 -r c77c5ac57156 xmpp-fingerprint.lua
--- a/xmpp-fingerprint.lua	Mon Oct 04 02:37:42 2010 +0100
+++ b/xmpp-fingerprint.lua	Mon Oct 04 02:42:01 2010 +0100
@@ -161,6 +161,8 @@
 	io.write(result.server_name);
 	if result.server_min_version then
 		io.write(", version "..result.server_min_version.." or later");
+	elseif result.server_version then
+		io.write(", version "..result.server_version);		
 	end
 	io.write("\n");
 	if #result.server_comments > 0 then