diff --git a/lib/j2ssh/j2ssh.properties b/lib/j2ssh/j2ssh.properties index 218c0a813dd709b50ff439a9681e443765b9333f..051acfe4913d3ef1f3421acf8bcf1880277b2e4f 100644 --- a/lib/j2ssh/j2ssh.properties +++ b/lib/j2ssh/j2ssh.properties @@ -58,3 +58,6 @@ remotedir.YP=/nfs/disk222/yeastpub # local directories to use as roots in the file manager localdir.PD=/nfs/pathdata localdir.YP=/nfs/disk222/yeastpub +# +# zip results +zip=true