unix.linux.proc: /proc/cpuinfo is updated in real time and can change based on throttling options. Don't cache it.
							parent
							
								
									dd32064691
								
							
						
					
					
						commit
						7f118e13c0
					
				| 
						 | 
				
			
			@ -76,7 +76,7 @@ TUPLE: processor-info
 | 
			
		|||
        } spread
 | 
			
		||||
    ] input<sequence processor-info boa ;
 | 
			
		||||
 | 
			
		||||
MEMO: parse-proc-cpuinfo ( -- seq )
 | 
			
		||||
: parse-proc-cpuinfo ( -- seq )
 | 
			
		||||
    "/proc/cpuinfo" utf8 file-lines
 | 
			
		||||
    { "" } split harvest [ lines>processor-info ] map ;
 | 
			
		||||
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue