project-info.ts

export const pidFilename = "project.pid";

// pid file updated once every 30s -- see https://github.com/sagemathinc/cocalc/issues/7325
export const pidUpdateIntervalMs = 1000 * 30;