| /shark/trunk/ports/first/include/fsf_configuration_parameters.h |
|---|
| 31,7 → 31,7 |
| // Maximum number of accepted contracts (servers) |
| #define FSF_MAX_N_SERVERS 10 |
| #define FSF_MAX_N_SERVERS 200 |
| // Maximum number of threads that may be scheduled by the framework |