Allerdings würde ich den Server konfigurierbar machen, z.B. durch einen notes.ini-Eintrag (den Dateinamen der DB auch, ist aber nicht so wichtig, wie der Servername, der ändert sich häufiger).
_server := @Environment ("PasteServer")
choicelist := @DbColumn("" : "ReCache" ; _server : database ; "($All)" ; 0 );
und
@PostedCommand([FileOpenDatabase]; _server : database ; "($All)" ; dockey ; 1 ; 1 ) ;