slightly change client so works for me right now at a cafe where the standard port is blocked.
slightly change client so works for me right now at a cafe where the standard port is blocked.

tscholl2/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,sagemathinc/smc,DrXyzzy/smc