changeset 15826:93516992ee34

javamem.m: adapt to 'boxing' Java doubles
author Philip Nienhuis <prnienhuis@users.sf.net>
date Fri, 21 Dec 2012 22:12:29 +0100
parents 9854666df787
children 609863321972
files scripts/java/javamem.m
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/java/javamem.m	Fri Dec 21 22:09:51 2012 +0100
+++ b/scripts/java/javamem.m	Fri Dec 21 22:12:29 2012 +0100
@@ -70,9 +70,9 @@
   rt = javaMethod ("getRuntime", "java.lang.Runtime");
   rt.gc;
   jvmem = cell (3, 1);
-  jvmem{1} = rt.maxMemory ().doubleValue ();
-  jvmem{2} = rt.totalMemory ().doubleValue ();
-  jvmem{3} = rt.freeMemory ().doubleValue ();
+  jvmem{1} = rt.maxMemory ();
+  jvmem{2} = rt.totalMemory ();
+  jvmem{3} = rt.freeMemory ();
 
   if (nargout == 0)
     printf ("\nJava virtual machine (JVM) memory info:\n");