diff options
| author | hallgren <hallgren@chalmers.se> | 2015-03-05 15:30:41 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-03-05 15:30:41 +0000 |
| commit | 4e4d2a77e1a2c2da9696ebb49a3e3c83da49b5bb (patch) | |
| tree | 5d1cad1cd69daabecf7976d0b3e78f9265353131 /src/server/transfer | |
| parent | 023857961036e6165bae1298c24f13bcc493de75 (diff) | |
gf.cabal: increase idle time before full GC to 5 seconds
The builtin GHC RTS default is 0.3 seconds, which results in very bad
interactive behaviour when working with a large grammar in the GF shell.
Diffstat (limited to 'src/server/transfer')
0 files changed, 0 insertions, 0 deletions