Rev 13458 | Rev 14873 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 13458 | Rev 14048 | ||
|---|---|---|---|
| Line 205... | Line 205... | ||
| 205 | 205 | ||
| 206 | /* Resource limits. Capital names are reserved by system. */ |
206 | /* Resource limits. Capital names are reserved by system. */ |
| 207 | int rlimit_cpu=20; /* cpu time in seconds */ |
207 | int rlimit_cpu=20; /* cpu time in seconds */ |
| 208 | int rlimit_fsize=8388608;/* file size */ |
208 | int rlimit_fsize=8388608;/* file size */ |
| 209 | int rlimit_as=614457600;/* virtual memory size */ |
209 | int rlimit_as=614457600;/* virtual memory size */ |
| 210 | int rlimit_data= |
210 | int rlimit_data=2004857600;/* data segment size; maxima requires a lot (must be lower than rlimit_as)*/ |
| 211 | int rlimit_stack=2097152;/* stack size */ |
211 | int rlimit_stack=2097152;/* stack size */ |
| 212 | int rlimit_core=0; /* core dump size */ |
212 | int rlimit_core=0; /* core dump size */ |
| 213 | int rlimit_rss=16777216; /* resident size */ |
213 | int rlimit_rss=16777216; /* resident size */ |
| 214 | int rlimit_nproc=1024; /* number of processes */ |
214 | int rlimit_nproc=1024; /* number of processes */ |
| 215 | int rlimit_nofile=512; /* number of open files */ |
215 | int rlimit_nofile=512; /* number of open files */ |