I noticed Padre is listening on TCP port 4444.
Is there a way to either disable this, or change it to a different port number? (It conflicts with my openOCD server) And just out of curiosity, what is it used for? Kind regards, ~ Paul Claessen
_______________________________________________ Padre-dev mailing list [email protected] http://mail.perlide.org/mailman/listinfo/padre-dev
