| commit | 878ce71b06159ea72427988c46f6d99571befef5 | [log] [tgz] |
|---|---|---|
| author | eyuen <eyuen> | Tue Apr 17 16:09:46 2012 +0000 |
| committer | eyuen <eyuen> | Tue Apr 17 16:09:46 2012 +0000 |
| tree | 56debf6914f1f8090b12d796f7297fd1967fad96 | |
| parent | c0ce5647bf07b77bd8235c9a88a691376b34c2d8 [diff] |
[375507] deleting a server with a dirty server editor - prompt for closing serve editor during server editor.