From WikiChip
$serverip Identifier - mIRC
Commands & Identifiers
Basics
Events
Matching Tools
Data Storage
Control Structures
GUI Scripting
Sockets
Advanced Scripting
Additional Resources
Security
Other
$serverip returns the ip address of the IRC server you are connected to.
Since mIRC 7.1+, $serverip is also filled by /dns $server for SOCK5 users, but note that this result in a DNS leak.
Synopsis
$serverip
Paramters
None
Properties
None
Example
//echo -a $serverip
Compatibility
Added: mIRC v6.03
Added on: 16 Aug 2002
Note: Unless otherwise stated, this was the date of original functionality.
Further enhancements may have been made in later versions.