Added dump_allocated_connections().

src/server/internal-connections.h

@@ -17,3 +17,6 @@ get_conn_by_number (Session_no session_no);
 
 extern Session_no
 traverse_connections (Session_no session_no);
+
+extern void
+dump_allocated_connections(FILE *fp);