equal
deleted
inserted
replaced
778 title = "Port"; |
778 title = "Port"; |
779 description = "Server port used"; |
779 description = "Server port used"; |
780 width = 5; |
780 width = 5; |
781 align = "right"; |
781 align = "right"; |
782 key = "conn"; |
782 key = "conn"; |
783 mapper = function(conn) return conn:serverport(); end; |
783 mapper = function(conn) |
|
784 if conn then |
|
785 return conn:serverport(); |
|
786 end |
|
787 end; |
784 }; |
788 }; |
785 dir = { |
789 dir = { |
786 title = "Dir"; |
790 title = "Dir"; |
787 description = "Direction of server-to-server connection"; |
791 description = "Direction of server-to-server connection"; |
788 width = 3; |
792 width = 3; |