Mongo.Session.mark_server_unknown

You're seeing just the function mark_server_unknown, go back to Mongo.Session module for more information.
Link to this function

mark_server_unknown(pid)

View Source