Rename ProcessList to ProcessTable throughout

Following up with some discusson from a few months back,
where it was proposed that ProcessTable is a better name.
This data structure is definitely not a list ... if it
was one-dimensional it'd be a set, but in practice it has
much more in common with a two-dimensional table.

The Process table is a familiar operating system concept
for many people too so it resonates a little in that way
as well.

1 files changed, 2 insertions, 2 deletions

diff --git a/linux/LinuxMachine.c b/linux/LinuxMachine.c
index ff2087c7..34cd5d0b 100644
--- a/linux/LinuxMachine.c
+++ b/linux/LinuxMachine.c
@@ -505,8 +505,8 @@ static void LinuxMachine_scanCPUTime(LinuxMachine* this) {
    char buffer[PROC_LINE_LENGTH + 1];
    while (fgets(buffer, sizeof(buffer), file)) {
       if (String_startsWith(buffer, "procs_running")) {
-         ProcessList* pl = (ProcessList*) super->processTable;
-         pl->runningTasks = strtoul(buffer + strlen("procs_running"), NULL, 10);
+         ProcessTable* pt = (ProcessTable*) super->processTable;
+         pt->runningTasks = strtoul(buffer + strlen("procs_running"), NULL, 10);
          break;
       }
    }