809 |
| MEMORY operator PERCENT { |
| MEMORY operator PERCENT { |
810 |
resourceset.resource_id= RESOURCE_ID_MEM_PERCENT; |
resourceset.resource_id= RESOURCE_ID_MEM_PERCENT; |
811 |
resourceset.operator= $<number>2; |
resourceset.operator= $<number>2; |
812 |
resourceset.limit= (int) ($<number>3 * 10); |
resourceset.limit= (int) ($<real>3 * 10); |
813 |
} |
} |
814 |
| TOTALMEMORY operator value unit { |
| TOTALMEMORY operator value unit { |
815 |
resourceset.resource_id= RESOURCE_ID_TOTAL_MEM_KBYTE; |
resourceset.resource_id= RESOURCE_ID_TOTAL_MEM_KBYTE; |