NOTE: port 12345 is a fictive port number, not really using that.
if you need to copy a dump, simply use scp or winscp
scp is 'secure copy'
for instance, to copy a file from a server to local:
scp -P22 user@host:/path/to/file.sql destination
12345 is the port number we're using, the default for scp is port 22
but my server is port 12345 (to fool most script kitties)
example:
scp -P12345 username@7pro:/home/username/dump.sql /home/someone/.
to copy a file from your machine to a remote server:
scp -P<PORT> sourcefile.sql user@host:/path/to/destination/.
example:
scp -P12345 sourcefile.sql username@7pro:/path/to/destination/.
OR for default port 22
scp sourcefile.sql username@7pro:/path/to/destination/.
OR
scp -P22 sourcefile.sql username@7pro:/path/to/destination/.