Forums Developers maybe a lame Q, but anyway

$port give you the port you using.. and it also suply the port for the server in serverlist that are marked as the one you want to connect to.. "if not connected", but mirc also have a option for "default port" if you dont suply a port when you type /server server.address .. how can i see what default port that is? $? , i dont even know if it is a option for this, but mirc can suply the most other info like that.. so i would be supriced if it dont work on $dport or somthing

I think you can $readini it from mirc.ini

//echo -ta $readini mirc.ini mirc host

Isn't that syntax for $readini sorta obsolete?

$gettok($readini mirc.ini mirc host,3,58)

Dunno but it works.

I think he means the default port setting in mIRC Options -> Connect -> Options.

That is in mirc.ini options n5

n5=1,1,1,1,1,1,1,1,1,1,6667,0,1,0,0,1,1,1,300,30,10,10,1,24,0,1,1,8192,1,0,0,82,0

Watchdog was right.. and i made a script that filter out the server port from:

n5=1,1,1,1,1,1,1,1,1,1,6668,0,0,1,1,0,1,1,300,30,10,60,1,26,0,0,1,8192,1,0,0,82,0

but much code for a simple event that only needed to be: //echo $dport or somthing :tongue:

It would be good, but you could use

$gettok($readini mirc.ini options n5,11,44)

a bit simpler code then mine yes