Delete the port number to which a scala compile server was connected
Delete the port number to which a scala compile server was connected
The prefix of the port identification file, which is followed by the port number.
The prefix of the port identification file, which is followed by the port number.
Get a socket connected to a daemon.
Get a socket connected to a daemon. If create is true, then create a new daemon if necessary. Returns None if the connection cannot be established.
Get the port number to which a scala compile server is connected; If no server is running yet, then create one.
Get the port number to which a scala compile server is connected; If no server is running yet, then create one.
The port identification file
The port identification file
The class name of the scala compile server
The class name of the scala compile server
Set the port number to which a scala compile server is connected
Set the port number to which a scala compile server is connected
A temporary directory to use
A temporary directory to use
The vm part of the command to start a new scala compile server
The vm part of the command to start a new scala compile server