PAKCS
Exported names: Imported modules:

Module Network.CPNS.Config

Configurations of the implementation of a Curry Port Name Server based on raw sockets.

Author: Michael Hanus

Version: November 2018

Summary of exported operations:

cpnsSocket :: Int   
cpnsTimeOut :: Int   
getStartupLockFile :: IO String   
Gets name of lock file to coordinate the startup of the CPNS demon.
getCPNSD :: IO String   
Returns the executable of the CPNS demon.
getLogFile :: IO String   
Get name of CPNSD log file.
addLogLn :: String -> IO ()   
Adds a line to the log file

Exported operations:

cpnsSocket :: Int   

Further infos:
  • solution complete, i.e., able to compute all solutions

cpnsTimeOut :: Int   

Further infos:
  • solution complete, i.e., able to compute all solutions

getStartupLockFile :: IO String   

Gets name of lock file to coordinate the startup of the CPNS demon.

getCPNSD :: IO String   

Returns the executable of the CPNS demon. Raises an error if the executable does not exist.

getLogFile :: IO String   

Get name of CPNSD log file.

addLogLn :: String -> IO ()   

Adds a line to the log file