File: reporting-bugs.html

package info (click to toggle)
jswat 1.7-2
  • links: PTS
  • area: contrib
  • in suites: etch, etch-m68k
  • size: 5,656 kB
  • ctags: 3,210
  • sloc: java: 24,683; xml: 130; makefile: 59; sh: 21
file content (54 lines) | stat: -rw-r--r-- 1,600 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>
  <head>
    <meta name="generator" content=
    "HTML Tidy for Linux/x86 (vers 1st February 2002), see www.w3.org">

    <title>Reporting Bugs</title>
  </head>

  <body bgcolor="#ffffff">
    <h3>I Found A Bug!</h3>

    <p>First and foremost, confirm that you really found a new bug. To
    do this, follow the steps outlined below. This should not take
    long.</p>

    <ol>
      <li>Check the list of known bugs to make sure this has not
      already been found and reported by someone else.</li>

      <li>Are you using the latest version of JSwat? If not, you
      probably ought to try to reproduce the problem using the latest
      version. The bug may have been found and fixed already.</li>

      <li>Read the JSwat documentation carefully. There isn&#39;t much
      and it will be worth your time.</li>
    </ol>

    <p>If after all that it seems like you have found a new bug, please
    send as much of the following information as you possibly can to
    the jswat-bugs mailing list.</p>

    <ul>
      <li>Operating System (e.g. Windows 2000, RedHat Linux 7.2)</li>

      <li>JDK version (e.g. 1.2.2, 1.3.1, 1.4.0)</li>

      <li>JDK brand (e.g. Sun, IBM, Blackdown)</li>

      <li>JSwat version (hopefully the latest)</li>

      <li>Classpath and sourcepath being used, if relevant.</li>

      <li>What you are trying to do from a high level point of
      view.</li>

      <li>The steps you took to achieve that.</li>

      <li>Any pertinent error messages.</li>
    </ul>
  </body>
</html>