Skip to content
Snippets Groups Projects
Select Git revision
0 results

Pintos

  • Clone with SSH
  • Clone with HTTPS
  • Joshua Saxby's avatar
    ja3-saxby authored
    Let's clarify this because variables should be named what they are:
    The argument passed to `process_execute()` is NOT a filename --it is the entire command string used for executing the program, which includes the file name AND any of its arguments, thus this variable is renamed to reflect this.
    Also added comment block clarifying this within process_execute()
    692f4b8e
    History
    Name Last commit Last update