CurryInfo: cpns-3.0.0 / Network.CPNSD.startServer

startServer :: IO ()
startServer = do
  lockfile <- getStartupLockFile
  lfc <- system $ "lockfile-create --lock-name " ++ lockfile
  if lfc == 0
    then do
      putErrLn "Starting demon for Curry Port Name Server..."
      logfile <- getLogFile
      exlogfile <- doesFileExist logfile
      unless exlogfile $ do
        -- create log file with correct access rights:
        system $ "touch " ++ logfile
        -- make log file accessible for everybody:
        system $ "chmod -f 666 " ++ logfile
        return ()
      putErrLn $ "Log information in file '" ++ logfile ++ "'"
      ctime <- getLocalTime
      appendFile logfile $
        "CPNS demon started at " ++ calendarTimeToString ctime ++ "\n"
      -- start CPNSD in server mode:
      cpnsbin <- getCPNSD
      system $ "nohup \"" ++ cpnsbin ++ "\" serve >> " ++ logfile ++ " 2>&1  &"
      lockFileCreateAndRemove lockfile
      putErrLn "CPNS demon started."
    else do
      putErrLn "CPNS demon seems already started by another process"
      putErrLn $ "If this is not the case, delete file '" ++ lockfile ++ "'"
      lockFileCreateAndRemove lockfile
 where
  -- wait for lockfile deletion by CPNS demon startup:
  lockFileCreateAndRemove lockfile = do
    system $ "lockfile-create --lock-name " ++ lockfile
    system $ "lockfile-remove --lock-name " ++ lockfile
    return ()

no demanded arguments

deterministic operation

<FAILING>

referentially transparent operation

no fixity defined

{() |-> _}

startServer

no precedence defined

_

Prelude.IO ()

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term