Commits on Nov 4, 2019

1. Allow HPC-GAP to run as a forkable server process. …

   This commit includes the following changes:
   
   1. The Boehm GC is configured to properly handle fork().
   2. The new --single-thread command line option now starts HPC-GAP up in
      single-threaded mode without any other threads running. This option
      implies -S (as the thread UI requires threads).
   3. Normally, signals are handled by a separate thread; this is now being
      done in the function `InstallHPCGAPSignalHandling`. If started with
      --single-thread, this function needs to be called explicitly in order
      to enable proper handling of SIGINT etc.

   

   rbehrends committed Nov 4, 2019
   Configuration menu

   • View commit details
   • Copy full SHA for 2d354dd
   • Browse repository at this point

   Copy the full SHA

   2d354dd View commit details

   Browse the repository at this point in the history