mininet/mininet — pull request #434 by cdburkard (2014-11-10 18:07:37+00:00)
Title: wrap the title string in quotes so that bash interprets it correctly

This should fix the xterm issue in cluster edition. The issue with ssh control paths may cause this command to hang, so we may not always have success opening up a remote xterm. This is an independent issue though