BaseXdb/basex — pull request #298 by dimitarp (2011-12-01 21:56:16+00:00)
Title: Fixes

1. [FIX] Server: changed modifier of BaseXServer.quit() to "protected" similar to the overridden method Main.quit()
2. [FIX] Scripts: restored executable flags