diff options
| author | Peter Baumann <p.baumann@jacobs-university.de> | 2010-07-22 17:07:43 +0200 |
|---|---|---|
| committer | www-data <www-data@ubuntu.localdomain> | 2010-07-22 18:59:14 +0200 |
| commit | 6266bdb85ce90b10e2ae791d747d5dcaf3bbe77a (patch) | |
| tree | 7fbfbc745145255cae5f601be0bd8da77182afd4 /include | |
| parent | 0dfedf22781a2cec7801d4a7172d077812cf76b3 (diff) | |
| download | rasdaman-upstream-6266bdb85ce90b10e2ae791d747d5dcaf3bbe77a.tar.gz rasdaman-upstream-6266bdb85ce90b10e2ae791d747d5dcaf3bbe77a.tar.xz rasdaman-upstream-6266bdb85ce90b10e2ae791d747d5dcaf3bbe77a.zip | |
PB: predefine 10 server processes. Improved documentation.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions