Zur Zeit läuft das CLI ausschliesslich lokal. Es sollte eine Möglichkeit geben das CLI auch auf einem entfernten Rechner zu starten. Es sollte ein separates Programm (in Folgenden clistarter) sein, das man auf dem entfernten Rechner startet. ProB verbindet sich mit dem clistarter und kann dann CLIS anfordern. Der clistarter startet ein probcli, liest die Informationen (Portnummer,...) aus und gibt sie an ProB weiter. ProB connected dann direkt mit der cli.
Einige Sachen, die mir dazu noch eingefallen sind:
Irgendwie müssen die logging Informationen an ProB übertragen werden, die Infos hat nur der clistarter
Vieleicht lohnt es sich, den Teil generell aus dem Kern zu ziehen und auch bei Verbindung auf localhost den Remote Mechanismus zu verwenden, dann hat man keinen special cases mehr
Prozessterminierung müsste auch via clistarter erfolgen
Fabian Vu
Jens Bendisposto
Major
Zur Zeit läuft das CLI ausschliesslich lokal. Es sollte eine Möglichkeit geben das CLI auch auf einem entfernten Rechner zu starten. Es sollte ein separates Programm (in Folgenden clistarter) sein, das man auf dem entfernten Rechner startet. ProB verbindet sich mit dem clistarter und kann dann CLIS anfordern. Der clistarter startet ein probcli, liest die Informationen (Portnummer,...) aus und gibt sie an ProB weiter. ProB connected dann direkt mit der cli.
Einige Sachen, die mir dazu noch eingefallen sind:
Irgendwie müssen die logging Informationen an ProB übertragen werden, die Infos hat nur der clistarter
Vieleicht lohnt es sich, den Teil generell aus dem Kern zu ziehen und auch bei Verbindung auf localhost den Remote Mechanismus zu verwenden, dann hat man keinen special cases mehr
Prozessterminierung müsste auch via clistarter erfolgen