diff options
Diffstat (limited to 'examples/servlets.pro')
| -rw-r--r-- | examples/servlets.pro | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/examples/servlets.pro b/examples/servlets.pro index fdc36b0..b42b2e4 100644 --- a/examples/servlets.pro +++ b/examples/servlets.pro @@ -12,18 +12,27 @@ -libraryjars <java.home>/lib/rt.jar -libraryjars /usr/local/java/servlet/servlet.jar -# Preserve all public servlets. - --keep public class * implements javax.servlet.Servlet +# Save the obfuscation mapping to a file, so you can de-obfuscate any stack +# traces later on. Keep a fixed source file attribute and all line number +# tables to get line numbers in the stack traces. +# You can comment this out if you're not interested in stack traces. -# Print out a list of what we're preserving. - --printseeds +-printmapping out.map +-renamesourcefileattribute SourceFile +-keepattributes SourceFile,LineNumberTable # Preserve all annotations. -keepattributes *Annotation* +# You can print out the seeds that are matching the keep options below. + +#-printseeds out.seeds + +# Preserve all public servlets. + +-keep public class * implements javax.servlet.Servlet + # Preserve all native method names and the names of their classes. -keepclasseswithmembernames class * { |