|
Einfache Problemansicht anzeigen
[ Zu Notizen wechseln ]
|
[ erweiterte Anzeige ]
[ Problem-Historie ]
[ Drucken ]
|
|
ID |
Kategorie |
Auswirkung |
Reproduzierbar |
Meldungsdatum |
Letzte Aktualisierung |
|
0000118 |
[OCaml-Java] |
kleinerer Fehler |
immer |
2013-03-08 20:54 |
2013-03-28 07:16 |
|
|
Reporter |
chambart |
Anzeigestatus |
öffentlich |
|
|
Bearbeitung durch |
xclerc |
|
Priorität |
normal |
Lösung |
erledigt |
|
|
Status |
erledigt |
|
Produktversion |
2.0-early-access3 |
|
|
Zusammenfassung |
0000118: Sys.command should call a shell |
|
Beschreibung |
For instance:
Sys.command "echo $PATH";;
$PATH
- : int = 0
That command should have been executed by the shell. |
|
Zusätzliche Information |
|
| Tags |
Keine Tags zugeordnet. |
|
|
Angehängte Dateien |
|
|
|
Problem-Beziehungen 
