Bonjour  
 
Voilà, j'ai installé la version 3.0.1 d'Eclipse. Jusqu'ici pas de problème. Par contre, quand j'ai installé le plugin pour Tomcat de Sysdeo (en dézippant, en copiant le dossier ainsi obtenu dans le répertoire "plugins" d'Eclipse et en redémarrant )  , je me suis apercu qu'Eclipse ne  le reconnaissait pas i.e pas de changement ds le menu "Window/preference" et pas de nouveau plugin dans le menu "Help/About Eclipse Platform/Plug-in details"    
 
Que faire ??
 
Merci d'avance à tous ceux qui pourront m'aider    
 

je m'a fait avoir aussi.
lance l'exe d'eclpise avec l'option -clean (ce qui l'oblige à recharger les pug-in).
 
si quelqu'un me trouve un truc dans le menu pour faire ca plus simplement je suis preneur.

 
 
Merci beaucoup car ca marche    
 
Par contre, est ce que quelqu'un sait d'ou vient ce "comportement" car il me semble que dans la version 2.0, on y avait pas droit ?    
 
En tous cas, benou , merci car cela fait bien 2 bonnes heures que je suis dessus

ouais, j'ai cherché un moment aussi ... ils devraient l'indiquer dans la doc d'instalation sur le site de Sysdeo

en meme temps pour quoi vous avez besoin d'un plugin pour tomcat?!

je me suis toujours posé la question aussi... ?

de mon temps ( ), ca servait juste a lancer Tomcat depuis eclipse grace a 2 boutons (start/stop) et pouvoir voir les log de tomcat dans la console eclipse.

 
 
beh, j'ai une console sur mes logs tomcat ouvert en permanence, et un coup d'up-arrow/enter et mon tomcat est redemarré, j'vois pas l'interet d'alourdir mon ide avec ça?

ben tu as pas de console ouverte en plus de l'IDE, je sais pas moi

euh, burf. j'en ai au minimum 6 en permanence, tfaçons

avec ca, tu en aurais que 5

Enfin quitte à utiliser un ide pour ça, netbeans est vraiment super bien foutu niveau web (oui je sais je rabache )
Pis il compile les projets proprement (pas à sa sauce style jbuilder ) avec des taches ant, ça m'a bien aidé quand j'ai commencé de pas avoir à m'ocupper de "l'infrastructeure"
 
(bon après faut s'y mettre, mais ça permet de pas avoir à bouffer tout d'un coup quoi )

 
J'utilise tout simplement le plugin Tomcat pour pouvoir utiliser le debugger d'Eclipse.
Par contre, peut être que c'est une mauvaise habitude    
et que je devrais mieux utiliser "chainsaw" : a voir !!
 Si quelqu'un a un avis sur ce sujet, ce serait avec plaisir que je l'écouterai    
 

erf, y'a pas besoin de plugin tomcat pour debugger en remote...

 
Ah! là j'avoue que j'ai toujours cru que c'était nécessaire.
Bon , j'essaierai demain et merci pour l'info

./catalina.sh jpda start
et roulaize.
(bon, apres faut configurer ton debugger, et eclipse je sais pas comment, mais c'est faisable)

c'est faisable mais c'est quand même moins pratique ...
et puis ca permet aussi de faire du rechargement de classe à chaud (tant que tu modifies pas la signature des classes)

perso, je trouve justement plus pratique (et rapide) d'avoir une console, et le serveur "séparé" - sous idea aucun probleme avec le debugger en remote..
et pour le reload de classes, bah je redeploie mon appli ou je recopie juste les trucs necessaires, et tomcat redemarre le contexte, ça va vite
(surtout depuis que j'utilise plus cette vieille daube de jetspeed )

 
C'est logique (: enfin comme dirait l'autre chacun sa sauce). Par contre du point de vue débuggage, je me pose la question de savoir quelle est la meilleure solution entre "chainsaw" (que je connais pas vraiment) et le débugger d'Eclipse ??

le chainsaw que je connais c'est un viewer de logs

 
Ce que je voulais dire c'est que je demandais quelle est la politique la plus efficace en termes de débuggage :    
- Soit utiliser un débuggeur (type Eclipse)
- Soit utiliser un débuggage avec des logs bien placés dans le code avec un viewer du type "chainsaw"
 
Voilà  
 
Donc, Real (ou quelqu'un d'autre), si tu as un avis sur la question, cela m'interesserait.
 

des testcases.

de la preuve formelle et du PCC

Pour ce qui est des Testcases, j'imagine qu'on parle de Junit ( pardonnez mon inexpérience   ).
 
Par contre PCC et preuves formelles    
 

PCC : proof carrying code. Y'a l'a preuve que le code est correct fourni avec l'exécutable, au chargement, le système vérifie que la preuve est correcte. Si la preuve est correcte, soit le code a été modifié de manière non-dangereuse depuis sa preuve, soi il n'a pas été modifié. Si la preuve est incorrecte, on ne charge pas le module.
 
ce truc part du principe qu'il est facile de vérifier uen preuve, mais difficile de la créer.

 
Euh !!  
En ayant lu ceci, je m'aperçoit que je suis une larve face à vous tous    
Pour remedier à cela , pourrais tu,nraynaud, me donner un lien sur ce sujet.
 
Merci d'avance  

j'avoue avoir du mal a comprendre ce que le pcc a a voir avec le debug?

beemer > en fait ça attaque les bugs d'intégration (et ça force à écrire les contrats)