Ο ενσωματωμένος ελεγκτής ρουτινών (IAC) ρυθμίζεται αυτόματα κατά την εγκατάσταση του πάγκου εργασίας Eclipse. Μπορείτε να αλλάξετε τις προεπιλεγμένες ρυθμίσεις από τη σελίδα προτιμήσεων του ενσωματωμένου ελεγκτή ρουτινών στον πάγκο εργασίας του TPTP. Για να μεταβείτε στη σελίδα προτιμήσεων, επιλέξτε Παράθυρο -> Προτιμήσεις... , αναπτύξτε τον κόμβο του ελεγκτή ρουτινών στο αριστερό πλαίσιο και επιλέξτε Ενσωματωμένος ελεγκτής ρουτινών.
Από προεπιλογή, ενεργοποιείται ο ενσωματωμένος ελεγκτής ρουτινών. Εκκινείται αυτόματα και συνεχίζει να εκτελείται μέχρι να κλείσει ο πάγκος εργασίας TPTP. Στην περίπτωση που θέλετε να χρησιμοποιήσετε τον ανεξάρτητο ελεγκτή ρουτινών και όχι τον ενσωματωμένο, επιλέξτε Απενεργοποίηση.
Αυτό είναι το εκτελέσιμο αρχείο Java που θα χρησιμοποιείται από τον ενσωματωμένο ελεγκτή ρουτινών για την εκκίνηση μιας εφαρμογής (π.χ. εκκίνηση μιας εφαρμογής για την οποία θα δημιουργηθεί προφίλ). Σύμφωνα με την προεπιλεγμένη ρύθμιση, αυτό το αρχείο είναι το εκτελέσιμο αρχείο Java που χρησιμοποιείται για την εκκίνηση του πάγκου εργασίας του TPTP.Αν θέλετε να αλλάξετε την προεπιλεγμένη ρύθμιση ώστε να χρησιμοποιείται διαφορετικό εκτελέσιμο αρχείο Java, πατήστε Τροποποίηση και επιλέξτε έναν από τους εγκατεστημένους ορισμούς JRE.
Σύμφωνα με την προεπιλεγμένη ρύθμιση, μόνο ο τοπικός υπολογιστής έχει πρόσβαση στον ενσωματωμένο ελεγκτή ρουτινών. Αν θέλετε να επιτρέπεται σε όλους τους υπολογιστές η πρόσβαση στον ενσωματωμένο ελεγκτή ρουτινών, επιλέξτε Όλοι. Για να παραχωρήσετε το δικαίωμα πρόσβασης μόνο σε ορισμένους υπολογιστές, επιλέξτε Προσαρμοσμένη επιλογή και ορίστε τα ονόματα των υπολογιστών που θέλετε να έχουν πρόσβαση στον ενσωματωμένο ελεγκτή ρουτινών.
Σύμφωνα με την προεπιλεγμένη ρύθμιση, η ασφάλεια είναι απενεργοποιημένη. Αν θέλετε, μπορείτε να ενεργοποιήσετε την ασφάλεια επιλέγοντας Ενεργοποιημένη. Αν ενεργοποιήσετε την ασφάλεια, έχετε τη δυνατότητα να επιτρέψετε την πρόσβαση σε όλους τους χρήστες ή να επιλέξετε ορισμένους χρήστες που θα έχουν δικαίωμα πρόσβασης στον ενσωματωμένο ελεγκτή ρουτινών. Για να ορίσετε συγκεκριμένους χρήστες, επιλέξτε Προσαρμοσμένη επιλογή και δημιουργήστε τη λίστα των χρηστών.
Σχετικές εργασίες
Εργασία με τον ελεγκτή ρουτινών
Σχετικές έννοιες
Ενσωματωμένος ελεγκτής ρουτινών
Σχετικές παραπομπές
Εκκίνηση και τερματισμός του ενσωματωμένου ελεγκτή ρουτινών
Ζητήματα ενσωματωμένου ελεγκτή ρουτινών