changeset 22934 | 705df2581571 |
parent 21278 | ef8a3a2a72f2 |
child 23010 | 6dadb192ad81 |
--- a/jdk/src/share/back/util.c Wed Feb 05 18:37:42 2014 +0000 +++ b/jdk/src/share/back/util.c Thu Feb 06 10:43:09 2014 +0000 @@ -2122,7 +2122,7 @@ jdwpError map2jdwpError(jvmtiError error) { - switch ( error ) { + switch ( (int)error ) { case JVMTI_ERROR_NONE: return JDWP_ERROR(NONE); case AGENT_ERROR_INVALID_THREAD: