# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1591888432 -7200
# Node ID f6a8f103786ebd48b4a399db923e4bfff6a128d7
# Parent  e46e98c0ad9c4b97ac66e5fdbd12be5cc4e064c8
memory.m: Fix reported virtual memory usage on Windows.

diff -r e46e98c0ad9c -r f6a8f103786e scripts/miscellaneous/memory.m
--- a/scripts/miscellaneous/memory.m	Thu Jun 11 16:13:18 2020 +0200
+++ b/scripts/miscellaneous/memory.m	Thu Jun 11 17:13:52 2020 +0200
@@ -176,7 +176,7 @@
     available_ram = sys.AvailPhys;
     free_swap = sys.AvailPageFile;
     used_ram = proc.WorkingSetSize;
-    used_virtual = proc.PagefileUsage;
+    used_virtual = proc.WorkingSetSize + proc.PagefileUsage;
     avail_virtual = sys.AvailVirtual;
     address_space = sys.TotalVirtual;