[pyglet] push by useboxnet - pyglet's SSH has changed port on 2014-05-08 06:07 GMT

[pyg...@googlecode.com]

Revision: 1cf9d44d2ce3
Branch: default
Author: Juan J. Martínez <j...@usebox.net>
Date: Thu May 8 06:07:06 2014 UTC
Log: pyglet's SSH has changed port
http://code.google.com/p/pyglet/source/detail?r=1cf9d44d2ce3

Modified:
/doc/upload-doc-current.sh

=======================================
--- /doc/upload-doc-current.sh Thu Apr 17 17:16:18 2014 UTC
+++ /doc/upload-doc-current.sh Thu May 8 06:07:06 2014 UTC
@@ -8,5 +8,5 @@
mkdir _build/html
make html

-rsync -az --delete _build/html/ -e ssh
$PYGLET_USR@$PYGLET_ORG:$PYGLET_DIR/doc-current
+rsync -az --delete _build/html/ -e "ssh -p 6185"
$PYGLET_USR@$PYGLET_ORG:$PYGLET_DIR/doc-current